Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science (624), Band 624)
von
Andrei Voronkov
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-55727-2
ISBN-10: 3-540-55727-X
Springer
· 2008
