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