Automated Reasoning with Otter
Seiten
2002
IOS Press,US
978-1-58949-004-8 (ISBN)
IOS Press,US
978-1-58949-004-8 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
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.
| Erscheint lt. Verlag | 30.12.2002 |
|---|---|
| Verlagsort | Amsterdam |
| Sprache | englisch |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Mathematik / Informatik ► Mathematik ► Computerprogramme / Computeralgebra | |
| ISBN-10 | 1-58949-004-5 / 1589490045 |
| ISBN-13 | 978-1-58949-004-8 / 9781589490048 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
