[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Theorem Proving in Higher Order Logics

Sprache EnglischEnglisch
Buch Broschur
Buch Theorem Proving in Higher Order Logics Jim Grundy
Libristo-Code: 05274873
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 1998
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Provi... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon / Broschur
common.buy 20.17 €
Tiffany Desk Treasures George A. Kemeny / Hardcover
common.buy 77.38 €
Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop / Hardcover
common.buy 180.49 €
Über den Tod und das Leben danach, 2 Audio-CD Elisabeth Kübler-Ross / Audio CD
common.buy 28.25 €
Tobias Smollett in the Enlightenment Richard J. Jones / Hardcover
common.buy 148.51 €

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

Informationen zum Buch

Vollständiger Name Theorem Proving in Higher Order Logics
Autor Jim Grundy, Malcolm Newey
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1998
Anzahl der Seiten 496
EAN 9783540649878
ISBN 3540649875
Libristo-Code 05274873
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1580
Abmessungen 155 x 233 x 28

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto