Zum Hauptinhalt

A machine program for theorem-proving | NiceBooksReads

NiceBooksReadsGESCHICHTEN VERBINDEN UNS

Entdecken Bücher Was wird gelesen?Literaturnachrichten weltweit Buchfreundschaft Buchräume Buchclub E-Books Hörbücher Kreativstudios Profis

DeutschDE

SpracheLand / Markt

Der Markt bestimmt Währung, Katalog und Zahlungsarten, nicht Ihre Sprache.

Anmelden Mitmachen

NiceBooksReadsGESCHICHTEN VERBINDEN UNS

Sprache

DeutschDE

SpracheLand / Markt

Der Markt bestimmt Währung, Katalog und Zahlungsarten, nicht Ihre Sprache.

NiceBooksReads entdecken

⌕Entdecken›▥Bücher›↗Was wird gelesen?›✦Literaturnachrichten weltweit›♡Buchfreundschaft›◌Buchräume›▧Buchclub›▤E-Books›▶Hörbücher›✦Kreativstudios›◇Profis›

Anmelden Mitmachen

← Zur Bibliothek

Hinweis zu Quelle und Nutzung

Sie greifen über den Quelldatensatz im Internet Archive auf dieses Werk zu. NiceBooksReads bietet den Zugang zur Quelle sowie eine Lese- und Höransicht.

Die Rechte am Werk und an der Aufnahme liegen bei den jeweiligen Rechteinhabern. Bitte prüfen Sie die Lizenz sowie die Zugangs- und Nutzungsbedingungen des Quelldatensatzes. Dieser Hinweis erteilt keine zusätzlichen Nutzungs- oder Veröffentlichungsrechte.

Quelldatensatz ↗Nutzungsbedingungen der Quelle ↗

A machine program for theorem-proving

English

A machine program for theorem-proving

Martin Davis George Logemann Donald Loveland

13 p. 28 cm

Melde dich mit deinem kostenlosen Konto an, um zu lesen, EPUBs herunterzuladen oder zuzuhören.

Online lesen →EPUB ↓

Problem mit diesem Buch melden

A machine program for theorem-proving

ProblemDetails (optional)

Digitale Ausgaben

Weitere Ausgaben suchen →

NiceBooksReadsGESCHICHTEN VERBINDEN UNS

Eine kreative Community, in der Geschichten geschrieben, gelesen, gehört und professionell veröffentlicht werden.

Entdecken Bücher Was wird gelesen?Literaturnachrichten weltweit

Datenschutz & Cookies Nutzungsbedingungen Fernabsatzvertrag Cookie-Einstellungen

●Sichere VerbindungDurch HTTPS- und SSL/TLS-Verschlüsselung geschützt

Zahlungskarten

VISAmastercardtroy

© 2026 NiceBooksReads · Alle Rechte vorbehalten.