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

Programming

von Frank Pfenning

Taschenbuch

ISBN-13: 978-3-540-58216-8

ISBN-10: 3-540-58216-9

Springer · 2008
Siehe auch (möglicherweise von anderen Autoren):
1994PaperbackLogic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994: Proceedings (Lecture Notes in Computer Science)