Salta al contenuto principale

Come join our latest LibraryThing Hunt!

Foto dell'autore

Carl Eastlund

Autore di The Little Prover

1 opera 66 membri 0 recensioni

Opere di Carl Eastlund

Popolari Recenti

The Little Prover (2015) — Autore — 66 copie

Esplora le opere

Etichette

#36 (1) _00513d (1) automatic theorem proving (1) brossura (1) computational theorem proving (1) computer (2) da leggere (7) environment-to-read (1) form:pdf (1) functional programing (1) generale (1) Goodreads (1) Informatica (6) Libro di testo (1) little-series (1) Logica (3) Matematica (5) math-science (1) mobile devices (1) outubro2017 (1) owner:ik (1) programmazione (6) Programmazione funzionale (1) programming/scheme (1) Prova (1) review copy (1) Saggistica (1) Scienza (1) Scrittura (1) Sigmatismo (2) theorem proving (1)

Traduzione delle etichette attiva

Informazioni generali

Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.

Utenti

Statistiche

Opere: 1
Utenti: 66
Popolarità: #259,059
Voto: 3.8

ISBN: 3

Grafici & Tabelle

Vedi altri Grafici e tabelle

Immagini

Galleria dell'autore

Collegamenti

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.