2000
Paperback (23 Oct 2000)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming.
| ISBN: | 9783540412854 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 23 Oct 2000 |
| Edition: | 2000 |
| DEWEY: | 005.11 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 486 |
| Weight: | 1560g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 25mm |
$1.78off
Mathematical Intelligence
Hardback
Published 02 Jun 2022
Save $1.78
The Art of Logic
Paperback
Published 04 Jul 2019
$4.49off
A Concise Introduction to Pure ...
Paperback
Published 03 Nov 2015
Save $4.49
Neural Networks
Paperback
Published 11 Mar 2024
$15.94off
Building Green Software
Paperback
Published 26 Mar 2024
Save $15.94
$5.79off
Modern Graph Theory
Paperback
Published 12 Aug 2002
Save $5.79
$0.27off
Community Data
Hardback
Published 29 Nov 2024
Save $0.27
$6.70off
Earth System Modeling, Data Ass...
Paperback
Published 31 Oct 2024
Save $6.70
$1.97off
Blockchain for Information Secu...
Paperback
Published 04 Oct 2024
Save $1.97
$1.35off
Getting (More Out Of) Graphics
Paperback
Published 13 Sep 2024
Save $1.35