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) - Softcover

Melham, Thomas F.; Camilleri, Juanito

 
9783540584506: 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)
Softcover
ISBN 10: 3540584501 ISBN 13: 9783540584506
Verlag: Springer, 2008

Inhaltsangabe

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540584501
ISBN 13 
9783540584506
Einband
Taschenbuch
Anzahl der Seiten
488
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387584508: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387584501 ISBN 13:  9780387584508
Hardcover