Verwandte Artikel zu Higher Order Logic Theorem Proving and Its Applications:...

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science) - Softcover

Joyce, Jeffrey J.; Seger, Carl-Johan H.

 
9780387578262: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387578269 ISBN 13: 9780387578262
Verlag: Springer Verlag, 1994

Inhaltsangabe

Dieser Band stellt das angegebene Verfahren der Higher-Order Logic User's Group Workshop von 1993 dar, die im August 1993 an der University of British Columbia gehalten wurde. Der Workshop wurde vom Zentrum für Integrierte Computersystemforschung gefördert. Es war der sechste in der Reihe jährlicher internationaler Workshops, die sich dem Thema des Logiksatzes höherer Ordnung widmen, seine Verwendung im HOL-System und seine Anwendungen. Der Band enthält 40 Papiere, darunter ein eingeladenes Papier von David Parnas, McMaster University, Kanada, mit dem Titel "Some theorems we should prove".

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

Verlag
Springer Verlag
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0387578269
ISBN 13 
9780387578262
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland