MPG.eBooks - Search Results - ( mote OR ( (morets OR monetis) OR ((lotes OR notes) OR (lose OR (love OR loewe))) ))

1

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

2

Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

by Voronkov, Andrei
Published 2002

Springer-Verlag Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Read Now

3

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

by Baaz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Read Now

4

Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

by Vardi, Moshe
Published 2003

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Read Now

5

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

by Nieuwenhuis, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Read Now

6

Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

by Ganzinger, Harald
Published 1999

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Read Now

7

Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-C...

by Freitag, Burkhard
Published 1998

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Read Now

8

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

9

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

10

Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

11

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

12

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

13

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

14

Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

15

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

16

Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

17

Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Read Now

18

Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-C...

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... notes on knowledge assimilation in deductive databases -- Applications of belief revision -- Analysing...”

Read Now

19

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

by Voronkov, Andrei
Published 1993

Springer

“...Lecture Notes in Computer Science...”

Read Now

20

Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

by Voronkov, Andrei
Published 1992

Springer

“...Lecture Notes in Computer Science...”

Narrow Search