Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)
Full Title: | Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624) |
---|---|
ISBN: | 354055727X |
ISBN13: | 9783540557272 |
List Price: | USD $114.24 |