Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994: Proceedings (Lecture Notes in Computer Science)

Programming

by Ukraine) Lpar 1994 (Kiev

Paperback

ISBN: 978-0-387-58216-0

ISBN-10: 0-387-58216-9

Springer Verlag · 1994
See also (possibly by other authors):
2008TaschenbuchLogic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, Band 822)