Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Logic for Computer Science - Jean Gallier

Logic for Computer Science

Foundations of Automatic Theorem Proving, Second Edition

(Autor)

Buch | Softcover
544 Seiten
2015
Dover Publications Inc. (Verlag)
978-0-486-78082-5 (ISBN)
CHF 47,95 inkl. MwSt
  • Titel z.Zt. nicht lieferbar
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken
Erscheint lt. Verlag 26.6.2015
Reihe/Serie Dover Books on Computer Science
Verlagsort New York
Sprache englisch
Maße 21 x 235 mm
Gewicht 748 g
Themenwelt Mathematik / Informatik ► Informatik ► Theorie / Studium
Mathematik / Informatik ► Mathematik ► Angewandte Mathematik
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10 0-486-78082-1 / 0486780821
ISBN-13 978-0-486-78082-5 / 9780486780825
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
52 Stunden Informatik - Timm Eichstädt; Stefan Spieker
52 Stunden Informatik
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Quantum Computing verstehen - Matthias Homeister
Quantum Computing verstehen
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Luhmann leicht gemacht - Margot Berghaus
Luhmann leicht gemacht
Eine Einführung in die Systemtheorie

von Margot Berghaus

Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
auf Facebook teilen
bei Twitter
Link zu dieser Seite kopieren