Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science (971), Band 971)

Applications

von: E. Thomas Schubert · Phillip J. Windley · James Alves-Foss

Taschenbuch

ISBN-13: 978-3-540-60275-0

ISBN-10: 3-540-60275-5

Springer · 2009
Siehe auch:
2014PaperbackHigher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings