Suchergebnisse für ""David M. Sandford""




Ähnliche Artikel


Theorem Proving with Analytic Tableaux and Related Methods
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Baumgartner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
1995.
26. April 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59338-6

Computer Algebra
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Calmet
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
EUROCAM '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982
1982.
8. Oktober 1982
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-11607-3

Automated Theorem Proving
189,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Monty Newborn
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Theory and Practice
2000.
15. Dezember 2000
Springer, Berlin

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Basin
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
2003
21. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40664-8

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gunter
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
1998.
6. August 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10547850,978-3-540-63379-2

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Grundy
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
1998.
9. September 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10638740,978-3-540-64987-8

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Joe Hurd / Tom Melham (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
2005
8. August 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11541868,978-3-540-28372-0

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Richard J. Boulton / Paul B. Jackson (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
2001
22. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42525-0

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mark Aagaard / John Harrison (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
2000.
27. Juli 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722303,978-3-540-67863-2

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Victor A. Carreno / Cesar Munoz / Sofiene Tashar (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
2002
7. August 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44039-0



Ähnlichkeitssuche: Fact®Finder von OMIKRON