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

5th Conference on Automated Deduction

Buch | Hardcover
385 Seiten
1980
Springer (Verlag)
978-0-387-10009-8 (ISBN)
52,60 € inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
Erscheint lt. Verlag 1.7.1980
Reihe/Serie Lecture Notes in Computer Science ; 87
Mitarbeit Sonstige Mitarbeit: W Bibel
Sprache englisch
Themenwelt Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10 0-387-10009-1 / 0387100091
ISBN-13 978-0-387-10009-8 / 9780387100098
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Is maths real? - Eugenia Cheng
Is maths real?
how simple questions lead us to mathematics’ deepest truths

von Eugenia Cheng

Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70 €
auf Facebook teilen
bei Twitter
Link zu dieser Seite kopieren