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

Nonstandard Logics for Automated Reasoning

Buch | Hardcover

344 Seiten

1998
Academic Press Inc (Verlag)
978-0-12-649520-1 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

A critical presentation providing depth and breadth of insight into the applicability of non-standard or exotic logics for the computational encoding of commonsense knowledge and inference logics. Three appendices provide short tutorials on classical logic and modal logics, and give a brief introdu

Erscheint lt. Verlag	20.2.1998
Verlagsort	San Diego
Sprache	englisch
Gewicht	608 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-12-649520-3 / 0126495203
ISBN-13	978-0-12-649520-1 / 9780126495201
Zustand	Neuware