Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science (698), Band 698)
von
Andrei Voronkov
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-56944-2
ISBN-10: 3-540-56944-8
Springer
· 2008
