1. Home
  2. Medien
  3. Bücher
  4. Theorem Proving in Higher Order Logics
  • #
  • #

Theorem Proving in Higher Order Logics

53.49 EUR

Teilen:

Ähnliche Produkte

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

53.49 EUR
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings

53.49 EUR
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

53.49 EUR
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

53.49 EUR
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

53.49 EUR
Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt

Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt

53.49 EUR
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

53.49 EUR
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

42.79 EUR