. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540602750 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 3,01 €, größter Preis: 93,10 €, Mittelwert: 57,82 €
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995 - Schubert, E. Thomas / Windley, Phillip J. / Alves-Foss, James
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Schubert, E. Thomas / Windley, Phillip J. / Alves-Foss, James:
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995 - gebrauchtes Buch

1995, ISBN: 9783540602750

ID: 7966861

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems. Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings Schubert, E. Thomas / Windley, Phillip J. / Alves-Foss, James, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher Order Logic Theorem Proving and Its Applications - E. Th. Schubert#Phillip J. Windley#James Alves-Foss
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
E. Th. Schubert#Phillip J. Windley#James Alves-Foss:
Higher Order Logic Theorem Proving and Its Applications - neues Buch

ISBN: 9783540602750

ID: 06b39eaea28f690ad50d610d57071486

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-540-60275-0, Springer

Neues Buch Buch.de
Nr. 1872559 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Versandfertig in 5 - 7 Tagen, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher Order Logic Theorem Proving and Its Applications - E. Thomas Schubert; Phillip J. Windley; James Alves-Foss
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
E. Thomas Schubert; Phillip J. Windley; James Alves-Foss:
Higher Order Logic Theorem Proving and Its Applications - neues Buch

ISBN: 9783540602750

ID: 9783540602750

Computer Science; Computer System Implementation; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logic Design; Electronics and Microelectronics, Instrumentation Circuit Design, Higher Order Logic (HOL), Mathematical Logic, Program Verification, Programmierverifikation, logic, proving, theorem proving Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995. Proceedings (Lecture Notes in Computer Science) - Schubert, E. Thomas [Editor]; Windley, Phillip J. [Editor]; Alves-Foss, James [Editor];
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Schubert, E. Thomas [Editor]; Windley, Phillip J. [Editor]; Alves-Foss, James [Editor];:
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2009, ISBN: 9783540602750

ID: 12612472854

Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments., [PU: Springer]

gebrauchtes bzw. antiquarisches Buch Alibris.com
GuthrieBooks
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher Order Logic Theorem Proving and Its Applications - E. Thomas Schubert; Phillip J. Windley; James Alves-Foss
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
E. Thomas Schubert; Phillip J. Windley; James Alves-Foss:
Higher Order Logic Theorem Proving and Its Applications - Taschenbuch

1995, ISBN: 9783540602750

ID: 477720

8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings, 1995, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Sans frais d'envoi en Allemagne (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Higher Order Logic Theorem Proving and Its Applications
Autor:

E Thomas Schubert Phillip J Windley

Titel:

Higher Order Logic Theorem Proving and Its Applications

ISBN-Nummer:

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

Detailangaben zum Buch - Higher Order Logic Theorem Proving and Its Applications


EAN (ISBN-13): 9783540602750
ISBN (ISBN-10): 3540602755
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer-Verlag GmbH
416 Seiten
Gewicht: 0,626 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 07.06.2007 09:56:48
Buch zuletzt gefunden am 28.01.2017 19:44:07
ISBN/EAN: 9783540602750

ISBN - alternative Schreibweisen:
3-540-60275-5, 978-3-540-60275-0


< zum Archiv...
Benachbarte Bücher