Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Theorem proving in higher order logics: 12th international conference; proceedin

Ø 0.0

0 Bewertungen

14,72 €

Berlin: Springer. 1999. VIII, 358 S. with fig and tables; 24 cm, Paperback. Sprache: Englisch ISBN: 3540664637 EAN: 9783540664635 Bestell-Nr: 818986 Bemerkungen: Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Schlagworte: Automatisches Beweisverfahren ; Kongress ; Nizza ; HOL ; Kongress ; Nizza, Informatics, Datenverarbeitung .

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783540664635
ISBN:

3540664637
Verlag:

Berlin: Springer
Erscheinungsjahr:

1999
Autor:

Bertot, Yves et. al. (Eds.)
Publikationsname:

Theorem proving in higher order logics: 12th international confe
Sprache:

Englisch
Format:

Paperback
Produktart:

Bücher

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 10. June 2025 und 12. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien, Australien
Versand ausgeschlossen:

Russische Föderation

Theorem proving in higher order logics: 12th international conference; proceedin

Theorem Proving in Higher Order Logics: 12th International Buch Springer

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99

Theorem Proving in Higher Order Logics Yves Bertot

Theorem Proving in Higher Order Logics Yves Bertot (u. a.) Taschenbuch Englisch

Theorem Proving in Higher Order Logics John Harrison

Theorem Proving in Higher Order Logics Amy Felty

Theorem Proving in Higher Order Logics Malcolm Newey

Theorem Proving in Higher Order Logics Victor A. Carreno

Theorem Proving in Higher Order Logics Tom Melham

Theorem Proving in Higher Order Logics Stefan Berghofer

Theorem Proving in Higher Order Logics Konrad Slind

Theorem Proving in Higher Order Logics Burkhart Wolff

Theorem Proving in Higher Order Logics Paul B. Jackson

Theorem Proving in High Order Logics : 12th International Conference, Tphols'...

Theorem Proving in Higher Order Logics Otmane Ait Mohamed

Theorem Proving in Higher Order Logics: 15th Internation... | Buch | Zustand gut

Theorem Proving in High Order Logics : 12th International Conference, Tphols'...

Higher Order Logic Theorem Proving and Its Applications Juanito Camilleri

Stefan Berghofer (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

Theorem proving in higher order logics: 12th international conference; proceedin

Ähnliche Artikel

Theorem Proving in Higher Order Logics: 12th International Buch Springer

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99

Theorem Proving in Higher Order Logics Yves Bertot

Theorem Proving in Higher Order Logics Yves Bertot (u. a.) Taschenbuch Englisch

Theorem Proving in Higher Order Logics John Harrison

Theorem Proving in Higher Order Logics Amy Felty

Theorem Proving in Higher Order Logics Malcolm Newey

Theorem Proving in Higher Order Logics Victor A. Carreno

Theorem Proving in Higher Order Logics Tom Melham

Theorem Proving in Higher Order Logics Stefan Berghofer

Theorem Proving in Higher Order Logics Konrad Slind

Theorem Proving in Higher Order Logics Burkhart Wolff

Theorem Proving in Higher Order Logics Paul B. Jackson

Theorem Proving in High Order Logics : 12th International Conference, Tphols'...

Theorem Proving in Higher Order Logics Otmane Ait Mohamed

Theorem Proving in Higher Order Logics: 15th Internation... | Buch | Zustand gut

Theorem Proving in High Order Logics : 12th International Conference, Tphols'...

Higher Order Logic Theorem Proving and Its Applications Juanito Camilleri

Stefan Berghofer (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

Cookie Hinweis