Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
No ratings yet
Jul 1, 1992
·
English
·
Paperback
(532 pages)