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




Ähnliche Artikel


Theorem Proving with Analytic Tableaux and Related Methods
40,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

5th Conference on Automated Deduction
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bibel
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Les Arcs, France, July 8-11, 1980
1980.
1. Juni 1980
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-10009-6

Data Base Design Techniques I
19,99 €
Versandfertig in 1-2 Wochen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Requirements and Logical Structures. NYU Symposium, New York, May 1978
1982.
1. März 1982
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-11214-3

Theorem Proving in Higher Order Logics
40,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
40,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
40,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
40,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

Bibliography on Abstract Data Types
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
B. Kutzler
F. Lichtenberger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1983.
1. Mai 1983
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-12312-5

Theorem Proving in Higher Order Logics
40,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
40,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



Ähnlichkeitssuche: Fact®Finder von OMIKRON