Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, Proceedings

Prices from
39.99

Featured

COMPARE ALL WEBSHOPS (1)

Description

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, Proceedings

Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (1)

Shop
Price
Amazon Logo
£ 39.99
To Shop
Description (0)

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, Proceedings

Product specifications

Brand Springer
EAN
  • 9783662199480

North-Holland

Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP...

£ 114.00
More Information More Info

Springer

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27,...

£ 42.74
More Information More Info

Springer

Operations Research Proceedings 2003: Selected Papers of the International Conference on (OR...

£ 123.49
More Information More Info

Springer

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25,...

£ 42.74
More Information More Info
Featured Choice
£ 39.99
To Shop