Naar hoofdinhoud

A machine program for theorem-proving | NiceBooksReads

NiceBooksReadsVERHALEN VERBINDEN ONS

Ontdekken Boeken Wat wordt er gelezen?Wereldwijd Literair Nieuws Boekenvriendschap Boekenkamers Boekenclub E-books Luisterboeken Creatieve studio’s Experts

NederlandsNL

TaalLand / markt

De markt bepaalt valuta, catalogus en betalingen, niet uw taal.

Inloggen Aanmelden

NiceBooksReadsVERHALEN VERBINDEN ONS

Taal

NederlandsNL

TaalLand / markt

De markt bepaalt valuta, catalogus en betalingen, niet uw taal.

Ontdek NiceBooksReads

⌕Ontdekken›▥Boeken›↗Wat wordt er gelezen?›✦Wereldwijd Literair Nieuws›♡Boekenvriendschap›◌Boekenkamers›▧Boekenclub›▤E-books›▶Luisterboeken›✦Creatieve studio’s›◇Experts›

Inloggen Aanmelden

← Terug naar de bibliotheek

Informatie over bron en gebruik

Je krijgt toegang tot dit werk via de bronvermelding in Internet Archive. NiceBooksReads biedt toegang tot de bron en een interface om te lezen en te luisteren.

De rechten op het werk en de opname berusten bij de respectieve rechthebbenden. Bekijk de licentie en de toegangs- en gebruiksvoorwaarden bij de bronvermelding. Deze melding verleent geen aanvullende gebruiks- of herpublicatierechten.

Bronvermelding ↗Gebruiksvoorwaarden van de bron ↗

A machine program for theorem-proving

English

A machine program for theorem-proving

Martin Davis George Logemann Donald Loveland

13 p. 28 cm

Log in met je gratis account om te lezen, EPUBs te downloaden of te luisteren.

Online lezen →EPUB ↓

Een probleem met dit boek melden

A machine program for theorem-proving

ProbleemDetails (optioneel)

Digitale edities

Andere edities zoeken →

NiceBooksReadsVERHALEN VERBINDEN ONS

Een creatieve community waar verhalen worden geschreven, gelezen, beluisterd en professioneel gepubliceerd.

Ontdekken Boeken Wat wordt er gelezen?Wereldwijd Literair Nieuws

Privacy en cookies Gebruikersovereenkomst Overeenkomst verkoop op afstand Cookie-instellingen

●Beveiligde verbindingBeschermd met HTTPS- en SSL/TLS-versleuteling

Betaalkaarten

VISAmastercardtroy

© 2026 NiceBooksReads · Alle rechten voorbehouden.