2000
Paperback (09 Feb 2000)
Save $6.87
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.
| ISBN: | 9783540671909 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 09 Feb 2000 |
| Edition: | 2000 |
| DEWEY: | 006.33 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 297 |
| Weight: | 480g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 16mm |
$3.43off
Automated Machine Learning for ...
Paperback
Published 20 Oct 2021
Save $3.43
$1.94off
Artificial Intelligence
Paperback
Published 06 Jun 2019
Save $1.94
Scary Smart
Hardback
Published 30 Sep 2021
$43.46off
Empowering the Public Sector Wi...
Paperback
Published 28 Jul 2024
Save $43.46
$1.36off
The Maniac
Paperback
Published 04 Jul 2024
Save $1.36
$0.41off
50 AI Ideas You Really Need to ...
Paperback
Published 12 Sep 2024
Save $0.41
Handbook on the Ethics of Artif...
Hardback
Published 19 Jul 2024
$24.51off
The Developer's Playbook for La...
Paperback
Published 13 Sep 2024
Save $24.51
The Psychology of Artificial In...
Paperback
Published 02 Jul 2024
$27.55off
Prompt Engineering for LLMs
Paperback
Published 19 Nov 2024
Save $27.55