Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science (859), Band 859)
von:
Thomas F. Melham · Juanito Camilleri
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-58450-6
ISBN-10: 3-540-58450-1
Springer
· 2008
