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

First-Order Logic and Automated Theorem Proving, Melvin Fitting

20,00 €

First-Order Logic and Automated Theorem Proving, Melvin Fitting.

Jetzt bei Ebay:

Zum Angebot *
  • Fach:
    Informatik/EDV
  • Produktart:
    Lehrbuch
  • Format:
    Buch
  • Erscheinungsjahr:
    1990
  • Autor:
    Fitting, Melvin
  • Publikationsname:
    N.N.
  • Verlag:
    Springer
  • Sprache:
    Englisch
  • Standardversand:
    DHL Paket 5,49 EUR - Lieferung zwischen 10. July 2025 und 12. July 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Russische Föderation , Israel , Jordanien , Irak , Libanon

Ähnliche Artikel

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

Principles of Automated Theorem Proving: Techniques for First Or

11,05 €
Zum Angebot
Produktbild - Grundsätze Der Automatisierte Theorem Proving Hardcover David Duffy

Grundsätze Der Automatisierte Theorem Proving Hardcover David Duffy

11,32 €
Zum Angebot
Produktbild - Higher Order Logic Theorem Proving and Its Applications Juanito Camilleri

Higher Order Logic Theorem Proving and Its Applications Juanito Camilleri

53,49 €
Zum Angebot
Produktbild - Higher Order Logic Theorem Proving and Its Applications E. Thomas Schubert

Higher Order Logic Theorem Proving and Its Applications E. Thomas Schubert

53,49 €
Zum Angebot
Produktbild - First-Order Logic and Automated Theorem Proving (Texts in Computer Science) by

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) by

110,31 €
Zum Angebot
Produktbild - First-Order Logic and Automated Theorem Proving - 9781461275152

First-Order Logic and Automated Theorem Proving - 9781461275152

68,85 €
Zum Angebot
Produktbild - Higher Order Logic Theorem Proving and Its Applications Carl-Johan H. Seger

Higher Order Logic Theorem Proving and Its Applications Carl-Johan H. Seger

53,49 €
Zum Angebot
Produktbild - Automated Reasoning in Higher-Order Logic: Set Comprehension and

Automated Reasoning in Higher-Order Logic: Set Comprehension and

33,68 €
Zum Angebot
Produktbild - Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

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

32,50 €
Zum Angebot
Produktbild - Johann M. Schumann | Automated Theorem Proving in Software Engineering | Buch

Johann M. Schumann | Automated Theorem Proving in Software Engineering | Buch

47,95 €
Zum Angebot
Produktbild - R. Padmanabhan (u. a.) | Automated Deduction in Equational Logic and Cubic...

R. Padmanabhan (u. a.) | Automated Deduction in Equational Logic and Cubic...

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

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

58,39 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics John Harrison

Theorem Proving in Higher Order Logics John Harrison

53,49 €
Zum Angebot
Produktbild - Theorem Proving with Analytic Tableaux and Related Methods Pierangelo Miglioli

Theorem Proving with Analytic Tableaux and Related Methods Pierangelo Miglioli

53,49 €
Zum Angebot
Produktbild - Theorem Proving with Analytic Tableaux and Related Methods Peter Baumgartner

Theorem Proving with Analytic Tableaux and Related Methods Peter Baumgartner

53,49 €
Zum Angebot
Produktbild - Automated Deduction in Equational Logic and Cubic Curves R. Padmanabhan

Automated Deduction in Equational Logic and Cubic Curves R. Padmanabhan

53,49 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics Victor A. Carreno

Theorem Proving in Higher Order Logics Victor A. Carreno

53,49 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics Burkhart Wolff

Theorem Proving in Higher Order Logics Burkhart Wolff

53,49 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics Stefan Berghofer

Theorem Proving in Higher Order Logics Stefan Berghofer

53,49 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics Konrad Slind

Theorem Proving in Higher Order Logics Konrad Slind

53,49 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay