Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
No ratings yet
Jun 29, 1993
·
English
·
Paperback
(408 pages)