Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: 859 (Lecture Notes in Computer Science) - 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: 859 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3540584501 ISBN 13: 9783540584506

Verlag: Springer, 2008

Alle Exemplare dieser ISBN-Ausgabe

3 Gebraucht

Von EUR 43,10

14 Neu

Von EUR 52,81

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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2008
Sprache: Englisch
ISBN 10: 3540584501
ISBN 13: 9783540584506
Einband: Tapa blanda
Anzahl der Seiten: 488
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

Gebraucht kaufen

Zustand: Gut

Ex-library paperback in very nice...

Diesen Artikel anzeigen

EUR 43,10

W�hrung umrechnen

EUR 5,97 f�r den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 52,81

W�hrung umrechnen

EUR 3,41 f�r den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

In den Warenkorb

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

Suchergebnisse f�r Higher Order Logic Theorem Proving and Its Applications:...

Beispielbild f�r diese ISBN

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

Melham, Thomas F. [Editor]; Camilleri, Juanito [Editor];

Verlag: Springer, 1994

ISBN 10: 3540584501 ISBN 13: 9783540584506

Gebraucht Paperback

Anbieter: GuthrieBooks, Spring Branch, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verk�ufers UTD14a-0605

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 43,10

W�hrung umrechnen

Versand: EUR 5,97

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

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

Melham, Thomas F.; Camilleri, Juanito

Verlag: Springer, 1994

ISBN 10: 3540584501 ISBN 13: 9783540584506

Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers ABLIING23Mar3113020171488

Verk�ufer kontaktieren

Neu kaufen

EUR 52,81

W�hrung umrechnen

Versand: EUR 3,41

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Higher Order Logic Theorem Proving And Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Melham, T. F.; Camilleri, Juanito

Verlag: Springer, 1994

ISBN 10: 3540584501 ISBN 13: 9783540584506

Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 5905894-n

Verk�ufer kontaktieren

Neu kaufen

EUR 53,99

W�hrung umrechnen

Versand: EUR 2,26

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 15 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Higher Order Logic Theorem Proving and Its Applications (Paperback)

Thomas F. Melham

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1994

ISBN 10: 3540584501 ISBN 13: 9783540584506

Neu Paperback

Anbieter: Grand Eagle Retail, Mason, OH, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verk�ufers 9783540584506

Verk�ufer kontaktieren