Book (01 Jan 1993)
Not available for sale
Out of stock
A rigorous introduction to classical, intuitionistic, and modal logic. Deduction is emphasized as a form of computation by examining the logical and mathematical foundations of resolution theorem proving and logic programming. These subjects are important for many areas of applications in computer science and artificial intelligence. Topics include
| ISBN: | 9780387941295 |
| Publisher: | Springer-Verlag |
| Imprint: | Springer-Verlag |
| Pub date: | 01 Jan 1993 |
| DEWEY: | 005.1 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 365 |
| Weight: | 748g |
| Height: | 247mm |
| Width: | 165mm |
| Spine width: | 19mm |
$8.87off
Supremacy
Hardback
Published 12 Sep 2024
Save $8.87
$3.85off
AI Snake Oil
Hardback
Published 24 Sep 2024
Save $3.85
$5.40off
The Singularity Is Nearer
Hardback
Published 27 Jun 2024
Save $5.40
$7.88off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.88
$2.58off
Co-Intelligence
Paperback
Published 04 Apr 2024
Save $2.58
$7.76off
ChatGPT and the Future of AI
Paperback
Published 07 Oct 2024
Save $7.76
Virtual Society
Paperback
Published 05 Oct 2023
$44.44off
Empowering the Public Sector Wi...
Paperback
Published 28 Jul 2024
Save $44.44
$8.39off
Sketching in Human-Computer Int...
Paperback
Published 20 Nov 2024
Save $8.39
