. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
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: 1.37 EUR, größter Preis: 93.10 EUR, Mittelwert: 21.57 EUR
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: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science) - Schubert, E.Thomas
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Schubert, E.Thomas:
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) - gebrauchtes Buch

1995

ISBN: 3540602755

ID: 5748891427

[EAN: 9783540602750], Gebraucht, guter Zustand, [PU: Springer], Mathematics|Logic, Computers & the Internet|Artificial Intelligence, Computers & the Internet|Computer Science, Ex-library, so some stamps and wear, but in good overall condition.

gebrauchtes bzw. antiquarisches Buch Abebooks.de
Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom [8420744] [Rating: 5 (von 5)]
NOT NEW BOOK Versandkosten: EUR 5.23
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: 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995. Proceedings (Lecture Notes in Computer Science 971) - 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: 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995. Proceedings (Lecture Notes in Computer Science 971) - Taschenbuch

1995, ISBN: 9783540602750

ID: 12744814980

400 pp., Paperback, ex library, else text clean and binding tight., computer science, [PU: Springer]

gebrauchtes bzw. antiquarisches Buch Alibris.com
Zubal Books
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
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:

3540602755

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 11.10.2016 20:38:03
ISBN/EAN: 3540602755

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher