Für diesen Artikel ist leider kein Bild verfügbar.

Automated Reasoning with Otter

Media-Kombination

552 Seiten

2002
IOS Press
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
Sprache	englisch
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Mathematik / Informatik ► Mathematik ► Computerprogramme / Computeralgebra
ISBN-10	1-58949-004-5 / 1589490045
ISBN-13	978-1-58949-004-8 / 9781589490048
Zustand	Neuware