Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992: Proceedings (Lecture Notes in Artificial Intelligence 624)
by
Russia) Lpar (1992 Saint Petersburg
Paperback
details (
USA
).
ISBN: 978-0-387-55727-4
ISBN-10: 0-387-55727-X
Springer Verlag
· 1992
