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

by Gilles Dowek (Author), Andre Hirschowitz (Author), Yves Bertot (Author), Laurent Thery (Author), Gilles Dowek (Author), Christine Paulin (Author)

• New

  Paperback
  1999

  $83.84

  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.