Suchergebnisse für "theorem+proving"

498 Artikel

Automated Theorem Proving
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Wolfgang Bibel
Automated Theorem Proving
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1982.
1. Januar 1982
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-08520-9
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
34,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Norman Rubin
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
10. September 2015
LIGHTNING SOURCE INC
A Machine Program for Theorem-Proving
28,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Martin Davis
George Logemann
Donald Loveland
A Machine Program for Theorem-Proving
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
9. September 2015
Somacomics
Automated Theorem Proving
180,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Monty Newborn
Automated Theorem Proving
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Theory and Practice
2000.
15. Dezember 2000
Springer, Berlin
Auch erhältlich als
Broschiertes Buch88,99 €
Generating Test Templates via Automated Theorem Proving
60,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Mani Prasard Kancherla
National Aeronautics and Space Administration (NASA)
Generating Test Templates via Automated Theorem Proving
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12. März 2013
BiblioScholar / Books on Demand
Symbolic Logic and Mechanical Theorem Proving
75,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Chin-Liang Chang
Richard Char Lee
Symbolic Logic and Mechanical Theorem Proving
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11. Juni 1973
Elsevier Science
Auch erhältlich als
Gebundenes Buch43,99 €
Automated Theorem Proving (eBook, ePUB)
3,99 €
Sofort per Download lieferbar
Fouad Sabry
Automated Theorem Proving (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
6. Juli 2023
One Billion Knowledgeable
Theorem Proving with the Real Numbers
105,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
John Harrison
Theorem Proving with the Real Numbers
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
September 1998
Springer Us
Auch erhältlich als
Broschiertes Buch74,99 €
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)
69,54 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Asad Ahmed
Osman Hasan
Falah Awwad
…mehr Autoren
Nabil Bastaki
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. August 2021
Springer International Publishing
Auch erhältlich als
Broschiertes Buch48,99 €
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
David A. Plaisted
Yunshan Zhu
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
  (Aktuell noch keine Bewertungen)
Buch
Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft 1997
Theorem Proving in Higher Order Logics
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Theorem Proving in Higher Order Logics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
2008
30. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12446179,978-3-540-71065-3
Theorem Proving in Higher Order Logics
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Theorem Proving in Higher Order Logics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
2009
4. August 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12727186,978-3-642-03358-2
Theorem Proving with the Real Numbers
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
John Harrison
Theorem Proving with the Real Numbers
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1998
20. November 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1593-9
Theorem Proving in Higher Order Logics
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Yves Bertot / Gilles Dowek / Andre Hirschowitz / Christine Paulin / Laurent Thery (eds.)
Theorem Proving in Higher Order Logics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
1999.
1. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704460,978-3-540-66463-5


Ähnlichkeitssuche: Fact®Finder von OMIKRON