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)

53.49 EUR

Marke: Springer Berlin Heidelberg
MPN: 1
ISBN: 354055727X