Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Für diesen Artikel ist leider kein Bild verfügbar.

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Buch
389 Seiten
1982
Springer (Verlag)
9780387115580 (ISBN)
Preis auf Anfrage
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
Erscheint lt. Verlag 1.1.1982
Reihe/Serie Lecture Notes in Mathematics ; 138
Sprache englisch
Themenwelt Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-13 9780387115580 / 9780387115580
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Facebook auf Facebook teilen
Kopieren Link zu dieser Seite kopieren