CD-ROM (30 Dec 2002)
Not available for sale
Out of stock
OTTER is a powerful reasoning program, currently in use to answer diverse and deep questions in mathematics and logic. This volume offers a treatment of automated reasoning and OTTER through examples, exercises and challenging questions. The CD-ROM contains the program itself.
| ISBN: | 9781589490048 |
| Publisher: | IOS Press,US |
| Imprint: | IOS Press,US |
| Pub date: | 30 Dec 2002 |
| Language: | English |
| Number of pages: | 552 |
| Weight: | 1315g |
| Height: | 279mm |
| Width: | 203mm |
| Spine width: | 31mm |
$5.88off
R for Data Science
Paperback
Published 20 Jan 2017
Save $5.88
$15.01off
Think Bayes
Paperback
Published 28 May 2021
Save $15.01
$7.77off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.77
Every Bit Counts
Paperback
Published 13 Dec 2024
$8.70off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $8.70
$3.14off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save $3.14
$16.40off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.40
Smart-Tech Society
Paperback
Published 14 Jun 2024
Just Enough Research
Paperback
Published 01 Oct 2024