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

Principles of Automated Theorem Proving Hardcover David Duffy

Ø 0.0
0 Bewertungen
10,89 €

Book

Jetzt bei Ebay:

Zum Angebot *
  • Features:
    EX-LIBRARY
  • Book Title:
    Principles of Automated Theorem Proving Hardcover David Duffy
  • ISBN:
    9780471927846
  • Sparversand:
    Economy Int'l Postage 6,25 EUR - Lieferung zwischen 04. July 2025 und 09. July 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    Afrika , Mittelamerika und Karibik , Naher Osten , Südostasien , Südamerika , Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , ... und weitere

Ähnliche Artikel

Produktbild - Principles of Automated Theorem Proving: Techniques for First Or

Principles of Automated Theorem Proving: Techniques for First Or

11,14 €
Zum Angebot
Produktbild - Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

18,44 €
Zum Angebot
Produktbild - Symbolic Logic and Mechanical Theorem Proving Hardcover

Symbolic Logic and Mechanical Theorem Proving Hardcover

14,47 €
Zum Angebot
Produktbild - Automated Theorem Proving : Theory and Practice Hardcover Monty N

Automated Theorem Proving : Theory and Practice Hardcover Monty N

73,88 €
Zum Angebot
Produktbild - Automated Theorem Proving : Theory and Practice by Monty Newborn (2000,...

Automated Theorem Proving : Theory and Practice by Monty Newborn (2000,...

115,52 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

65,31 €
Zum Angebot
Produktbild - NASA Technical Repor - Automated Theorem Proving in High-Quality Softw - L555z

NASA Technical Repor - Automated Theorem Proving in High-Quality Softw - L555z

18,34 €
Zum Angebot
Produktbild - Automated Theorem Proving in Software Engineering, Paperback by Schumann, Joh...

Automated Theorem Proving in Software Engineering, Paperback by Schumann, Joh...

58,85 €
Zum Angebot
Produktbild - Automated theorem proving. Artificial intelligence Bibel, Wolfgang:

Automated theorem proving. Artificial intelligence Bibel, Wolfgang:

78,05 €
Zum Angebot
Produktbild - Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Scie

Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Scie

43,87 €
Zum Angebot
Produktbild - Automated Theorem Proving - 9781461265191

Automated Theorem Proving - 9781461265191

98,98 €
Zum Angebot
Produktbild - Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...

Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...

78,53 €
Zum Angebot
Produktbild - Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...

Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...

78,67 €
Zum Angebot
Produktbild - Symbolic Logic and Mechanical Theorem Proving (Hardback or Cased Book)

Symbolic Logic and Mechanical Theorem Proving (Hardback or Cased Book)

86,97 €
Zum Angebot
Produktbild - Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat (

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat (

98,00 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In

96,12 €
Zum Angebot
Produktbild - Automated Theorem Proving in Software Engineering - 9783642087592

Automated Theorem Proving in Software Engineering - 9783642087592

43,02 €
Zum Angebot
Produktbild - First-Order Logic and Automated Theorem Proving - 9781461275152

First-Order Logic and Automated Theorem Proving - 9781461275152

69,40 €
Zum Angebot
Produktbild - Automated Theorem Proving in Software Engineering, Paperback by Schumann, Joh...

Automated Theorem Proving in Software Engineering, Paperback by Schumann, Joh...

58,72 €
Zum Angebot
Produktbild - Symbolic Logic and Mechanical Theorem Proving, Hardcover by Chang, Chin-Liang...

Symbolic Logic and Mechanical Theorem Proving, Hardcover by Chang, Chin-Liang...

75,55 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay