Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Springer: Theorem Proving in Higher Order Logics (ISBN: 9783540745914) 2007, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
89%: Sous la direction de: Klaus Schneider, Sous la direction de: Jens Brandt: Theorem Proving in Higher Order Logics: 20th International Conference, Tphols 2007: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (ISBN: 9783540745907) 2007, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Theorem Proving in Higher Order Logics - 14 Angebote vergleichen
| Preise | 2016 | 2019 | 2021 |
|---|---|---|---|
| Schnitt | € 77,99 | € 91,02 | € 71,68 |
| Nachfrage |
Theorem Proving in Higher Order Logics (2007)
DE NW EBISBN: 9783540745914 bzw. 3540745912, in Deutsch, Springer, neu, E-Book.
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings, This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. PDF, 23.08.2007.
Theorem Proving in Higher Order Logics (2007)
DE NW EBISBN: 9783540745914 bzw. 3540745912, in Deutsch, Springer, neu, E-Book.
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. 23.08.2007, PDF.
Theorem Proving in Higher Order Logics (2007)
DE PB NWISBN: 9783540745907 bzw. 3540745904, in Deutsch, Springer-Verlag Gmbh Aug 2007, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Theorem Proving in Higher Order Logics (2007)
DE PB NWISBN: 9783540745914 bzw. 3540745912, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Theorem Proving in Higher Order Logics - 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (2007)
DE NW EB DLISBN: 9783540745914 bzw. 3540745912, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Theorem Proving in Higher Order Logics
DE PB NWISBN: 9783540745907 bzw. 3540745904, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Rhein-Team Lörrach, [3332481].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Theorem Proving in Higher Order Logics
DE PB NWISBN: 9783540745907 bzw. 3540745904, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Theorem Proving in Higher Order Logics
DE PB NWISBN: 9783540745907 bzw. 3540745904, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
buchZ AG, [3859792].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Theorem Proving in Higher Order Logics (2007)
DE NW EB DLISBN: 9783540745914 bzw. 3540745912, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
