Book (31 Jan 1993)
Not available for sale
Out of stock
Proceedings of the 1991 international tutorial and workshop held in Davis, California, August 1991. HOL is one of the most widely used mechanized reasoning systems that supports user-guided reasoning in a subset of higher order logic formulated by Alonzo Church. The fourth annual meeting of the HOL users group is the basis of this presentation of t
| ISBN: | 9780818624605 |
| Publisher: | IEEE Computer Society Press |
| Imprint: | IEEE Computer Society Press |
| Pub date: | 31 Jan 1993 |
| DEWEY: | 511.3028553 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 411 |
| Weight: | -1g |
$1.81off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.81
$1.31off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.31
How to Expect the Unexpected
Paperback
Published 15 Aug 2024
First-Order Logic
Paperback
Published 01 Feb 2000
$55.46off
Classical and Nonclassical Logics
Hardback
Published 20 Sep 2005
Save $55.46
Handbook of Mathematical Fuzzy ...
Paperback
Published 21 Dec 2011
$4.23off
To Mock a Mockingbird and Other...
Paperback
Published 09 Nov 2000
Save $4.23
$9.92off
Maths Frameworking. Pupil Book ...
Paperback
Published 11 Jun 2014
Save $9.92
$5.09off
Hao Wang. Logician and Philosop...
Paperback
Published 02 Nov 2011
Save $5.09
