Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008 | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

Teilen:
Gesponsert

Theorem Proving in Higher Order Logics

SpringerLink DE
53.49 EUR
15-05-2026 16:48:20

Ähnliche Produkte

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

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
Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

53.49 EUR
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

106.99 EUR