MPG.eBooks - Search Results - "Foundations"

Cover Image

1

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

Published 1992

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

2

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

Published 1993

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

3

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

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

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

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

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

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

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

Published 1999

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

9

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”