1999
Paperback (01 Sep 1999)
Save $6.60
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9783540664635 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 01 Sep 1999 |
| Edition: | 1999 |
| DEWEY: | 004.015113 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 358 |
| Weight: | 544g |
| Height: | 234mm |
| Width: | 157mm |
| Spine width: | 20mm |
$2.77off
Applied Mathematics
Paperback
Published 22 Feb 2018
Save $2.77
$2.63off
Topology
Paperback
Published 12 Dec 2019
Save $2.63
$0.93off
Something Doesn't Add Up
Paperback
Published 04 Feb 2021
Save $0.93
Just Enough Research
Paperback
Published 01 Oct 2024
$7.05off
Moral AI
Hardback
Published 08 Feb 2024
Save $7.05
$8.99off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.99
$4.01off
Quantum Supremacy
Paperback
Published 02 May 2024
Save $4.01
$18.07off
The AI Delusion
Hardback
Published 23 Aug 2018
Save $18.07
$2.97off
As If Human
Hardback
Published 03 May 2024
Save $2.97
$5.17off
Hao Wang. Logician and Philosop...
Paperback
Published 02 Nov 2011
Save $5.17