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

Interactive Theorem Proving

Ø 0.0
0 Bewertungen
57,95 €

Interactive Theorem Proving6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Pattern Matches in HOL: A new Representation improved Code Generation - pages 453-468 Tuerk, Thomas (et al.).

Jetzt bei Ebay:

Zum Angebot *
  • Autor:
    Urban
  • Buchtitel:
    Interactive Theorem Proving
  • Sprache:
    Englisch
  • EAN:
    9783319221014
  • ISBN:
    3319221019
  • Herstellernummer:
    3319221019
  • Standardversand:
    Deutsche Post Brief 2,99 EUR - Lieferung zwischen 21. May 2025 und 23. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    Russische Föderation

Ähnliche Artikel

Produktbild - Interactive Theorem Proving Xingyuan Zhang

Interactive Theorem Proving Xingyuan Zhang

53,49 €
Zum Angebot
Produktbild - Stephan Merz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

Stephan Merz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

49,95 €
Zum Angebot
Produktbild - Florian Kammüller | Interactive Theorem Proving in Software Engineering | Buch

Florian Kammüller | Interactive Theorem Proving in Software Engineering | Buch

42,95 €
Zum Angebot
Produktbild - César A. Muñoz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

César A. Muñoz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

49,95 €
Zum Angebot
Produktbild - Automated Theorem Proving | Buch | 9783528085209

Automated Theorem Proving | Buch | 9783528085209

54,99 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development Pierre Castéran (u. a.) Buch

Interactive Theorem Proving and Program Development Pierre Castéran (u. a.) Buch

77,90 €
Zum Angebot
Produktbild - Assia Mahboubi (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

Assia Mahboubi (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

86,95 €
Zum Angebot
Produktbild - David M. Sandford | Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford | Using Sophisticated Models in Resolution Theorem Proving

49,95 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics Konrad Slind (u. a.) Taschenbuch Englisch

Theorem Proving in Higher Order Logics Konrad Slind (u. a.) Taschenbuch Englisch

51,90 €
Zum Angebot
Produktbild - Victor A. Carreno (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

Victor A. Carreno (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

49,95 €
Zum Angebot
Produktbild - Klaus Schneider (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

Klaus Schneider (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

49,95 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics Burkhart Wolff (u. a.) Taschenbuch 2003

Theorem Proving in Higher Order Logics Burkhart Wolff (u. a.) Taschenbuch 2003

51,90 €
Zum Angebot
Produktbild - Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

22,00 €
Zum Angebot
Produktbild - Theorem proving with the real numbers (IN ENGLISCHER SPRACHE), Distinguished dis

Theorem proving with the real numbers (IN ENGLISCHER SPRACHE), Distinguished dis

30,80 €
Zum Angebot
Produktbild - Amy Felty (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch (1997)

Amy Felty (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch (1997)

49,95 €
Zum Angebot
Produktbild - Logical Foundations of Computer Science Anil Nerode

Logical Foundations of Computer Science Anil Nerode

53,49 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development | Pierre Castéran (u. a.)

Interactive Theorem Proving and Program Development | Pierre Castéran (u. a.)

103,95 €
Zum Angebot
Produktbild - First-Order Logic and Automated Theorem Proving (Texts i... | Buch | Zustand gut

First-Order Logic and Automated Theorem Proving (Texts i... | Buch | Zustand gut

49,19 €
Zum Angebot
Produktbild - Mechanical Theorem Proving in Geometries: Basic Principles, Wen-Tsün Wu

Mechanical Theorem Proving in Geometries: Basic Principles, Wen-Tsün Wu

36,98 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99

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

29,99 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay