Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science (1955), Band 1955)
von:
Andrei Voronkov
· Michel Parigot
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-41285-4
ISBN-10: 3-540-41285-9
Springer
· 2008
