9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (310), Band 310)
von
Ewing Lusk
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-19343-2
ISBN-10: 3-540-19343-X
Springer
· 1988
