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

10th International Conference on Automated Deduction

Buch | Softcover

688 Seiten

1990
Springer (Verlag)
978-0-387-52885-4 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

The papers range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics. The methodologies include resolution, paramodulation, rewriting, completion, unification, and induction, and the applications include program verification, logic programming, deductive databases, and theorem provin

Erscheint lt. Verlag	1.7.1990
Reihe/Serie	Lecture Notes in Economic and Mathematical Systems ; 449
Sprache	englisch
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-387-52885-7 / 0387528857
ISBN-13	978-0-387-52885-4 / 9780387528854
Zustand	Neuware