Search results for “advances-in-logic-programming-and-automated-reasoning”

found 10 books with advances-in-logic-programming-and-automated-reasoning

Advances in Logic Programming and Automated Reasoning

Advances in Logic Programming and Automated Reasoning

Authors:
Wilkerson, Ralph
ISBN13:
9780893916831
Published:
1992-05-01
Language:
en

Advances in Logic Programming and Automated Reasoning (2)

Advances in Logic Programming and Automated Reasoning (2)

Authors:
Ralph W. Wilkerson
ISBN13:
9780893918415
Published:
1996
Language:
en

Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994 : Proceedings (Lecture Notes in Computer Science)

Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994 : Proceedings (Lecture Notes in Computer Science)

Authors:
Ukraine) Lpar 1994 (Kiev
ISBN13:
9780387582160
Edition:
18138th
Published:
1994
Language:
en

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)

ISBN13:
9783540557272
Edition:
1992
Published:
1992-07-01
Language:
en

Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624)

Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624)

Authors:
Russia) Lpar (1992 Saint Petersburg
ISBN13:
9780387557274
Published:
1992
Language:
en

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

ISBN13:
9783540664925
Edition:
1999
Published:
1999-08-25
Language:
en

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

ISBN13:
9783540582168
Edition:
1994
Published:
1994-06-22
Language:
en

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)

ISBN13:
9783540569442
Edition:
1993
Published:
1993-06-29
Language:
en

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science 698)

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science 698)

Authors:
George E. Andrews, Bruce C. Berndt
ISBN13:
9780387569444
Published:
2009-05-12
Language:
en

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)

ISBN13:
9783540412854
Edition:
2000
Published:
2000-10-23
Language:
en



Copyright © 2024. All rights reserved