Yves Bertot
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Lecture Notes in Computer Science Yves Bertot 1999 edition

Name: Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Yves Bertot

Price

$ 55.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 9 - 15

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Lecture Notes in Computer Science

Yves Bertot

1999 edition

The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.

364 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	September 1, 1999
ISBN13	9783540664635
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	364
Dimensions	157 × 234 × 20 mm · 526 g
Language	German
Editor	Bertot, Yves
Editor	Dowek, Gilles
Editor	Hirschowitz, Andre
Editor	Paulin, Christine
Editor	Thery, Laurent