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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540664635 - September 1, 1999
In case cover and title do not match, the title is correct

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

Yves Bertot

Price
$ 65.49

Ordered from remote warehouse

Expected delivery Dec 11 - 24
Christmas presents can be returned until 31 January

Our customers say:

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 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
Editor Bertot, Yves
Editor Dowek, Gilles
Editor Hirschowitz, Andre
Editor Paulin, Christine
Editor Thery, Laurent
Show all

More by Yves Bertot

See all of Yves Bertot ( e.g. Hardcover Book and Paperback Book )