Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings 1993 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Voronkov, AndreiPaperback3540569448 /
9783540569442
06/1993$52.24
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings 1992 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Voronkov, AndreiPaperback354055727X /
9783540557272
07/1992$52.24
  (2 items found)