Suchergebnisse für ""Tom Melham""




Ähnliche Artikel


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*
Konrad Slind / Annette Bunker / Ganesh C. Gopalakrishnan (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
2004
1. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11319238,978-3-540-23017-5

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*
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*
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

Types for Proofs and Programs
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Berardi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
1996.
2. Oktober 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61780-8

Types for Proofs and Programs
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dybjer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (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



Ähnlichkeitssuche: Fact®Finder von OMIKRON