Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Applications

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

Taschenbuch

ISBN: 978-3-662-17620-7

ISBN-10: 3-662-17620-3

Springer · 2014
S. auch:
2009TaschenbuchHigher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, Band 971)