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)
59,60 inkl. MwSt
  • 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
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 0-387-52885-7 / 0387528857
ISBN-13 978-0-387-52885-4 / 9780387528854
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz

von Katharina Zweig

Buch | Softcover (2023)
Heyne (Verlag)
20,00