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

Automated Deduction - Cade-11

11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Buch | Softcover
793 Seiten
1992
Springer (Verlag)
978-0-387-55602-4 (ISBN)
119,95 inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
Erscheint lt. Verlag 1.6.1992
Reihe/Serie Lecture Notes in Artificial Intelligence ; 607
Zusatzinfo illustrations
Sprache englisch
Themenwelt Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 0-387-55602-8 / 0387556028
ISBN-13 978-0-387-55602-4 / 9780387556024
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …

von Yuval Noah Harari

Buch | Hardcover (2024)
Penguin (Verlag)
28,00