Vai al contenuto principale

A machine program for theorem-proving | NiceBooksReads

NiceBooksReadsLE STORIE CI UNISCONO

Scopri Libri Cosa si legge?Notizie Letterarie dal Mondo Amicizia letteraria Stanze dei libri Club del libro Ebook Audiolibri Studi creativi Esperti

ItalianoIT

LinguaPaese / mercato

Il mercato determina valuta, catalogo e pagamenti senza cambiare la lingua.

Accedi Iscriviti

NiceBooksReadsLE STORIE CI UNISCONO

Lingua

ItalianoIT

LinguaPaese / mercato

Il mercato determina valuta, catalogo e pagamenti senza cambiare la lingua.

Esplora NiceBooksReads

⌕Scopri›▥Libri›↗Cosa si legge?›✦Notizie Letterarie dal Mondo›♡Amicizia letteraria›◌Stanze dei libri›▧Club del libro›▤Ebook›▶Audiolibri›✦Studi creativi›◇Esperti›

Accedi Iscriviti

← Torna alla biblioteca

Informazioni sulla fonte e sull’utilizzo

Accedi a quest’opera tramite la sua scheda originale su Internet Archive. NiceBooksReads offre l’accesso alla fonte e un’interfaccia di lettura e ascolto.

I diritti sull’opera e sulla registrazione appartengono ai rispettivi titolari. Consulta la licenza e le condizioni di accesso e utilizzo della scheda originale. Questo avviso non concede ulteriori diritti di utilizzo o ripubblicazione.

Scheda originale ↗Condizioni d’uso della fonte ↗

A machine program for theorem-proving

English

A machine program for theorem-proving

Martin Davis George Logemann Donald Loveland

13 p. 28 cm

Accedi al tuo account gratuito per leggere, scaricare EPUB o ascoltare.

Leggi online →EPUB ↓

Segnala un problema con questo libro

A machine program for theorem-proving

ProblemaDettagli (facoltativi)

Edizioni digitali

Cerca altre edizioni →

NiceBooksReadsLE STORIE CI UNISCONO

Una comunità creativa dove le storie si scrivono, si leggono, si ascoltano e incontrano l’editoria professionale.

Scopri Libri Cosa si legge?Notizie Letterarie dal Mondo

Privacy e cookie Accordo utente Contratto di vendita a distanza Impostazioni cookie

●Connessione sicuraProtetta con crittografia HTTPS e SSL/TLS

Carte di pagamento

VISAmastercardtroy

© 2026 NiceBooksReads · Tutti i diritti riservati.