Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, Proceedings: 1869 (Lecture Notes Computer Science, 1869)

Prices from
44.99

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, Proceedings: 1869 (Lecture Notes Computer Science, 1869)

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 44.99

£ 44.99

Description (0)

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, Proceedings: 1869 (Lecture Notes Computer Science, 1869)

Product specifications

Brand Springer
EAN
  • 9783540678632

Springer

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom,...

£ 39.99
Compare 2 stores 2 stores

Springer

Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA,...

£ 46.22
Compare 2 stores 2 stores

Springer

Spatial Cognition XIV: 14th International Conference, 2026, Glasgow, UK, August 2528, Proceedings...

£ 44.99
Compare 2 stores 2 stores

Springer

Social Informatics: 13th International Conference, SocInfo 2022, Glasgow, UK, October 1921, Proceedings:...

£ 44.97
Compare 2 stores 2 stores
Featured Choice
£ 44.99
To Shop