Salta al contenuto principale

Foto dell'autore

Anil Nerode

Autore di Logic for Applications

3 opere 22 membri 0 recensioni

Opere di Anil Nerode

Popolari Recenti

Logic for Applications (1993) 16 copie

Recursion theory (1985) 5 copie

Logical methods in honor of Anil Nerode's sixtieth birthday (2012) 1 copia

Esplora le opere

Etichette

50.00 (1) @living in Ann Arbor (1) @purchased in Chicago (1) collezione (1) complexity theory (1) cs theory (1) IA Avanzada (1) Informatica (3) linguaggi di programmazione (1) Logica (3) Matematica (2) motives jannsen (1) partially unread (1) prima edizione (1) Programmazione logica (1) Prolog (1) recursion theory (2) Springer (1)

Traduzione delle etichette attiva

Informazioni generali

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

Utenti

Potrebbero anche piacerti

Autori correlati

Richard A. Shore

Statistiche

Opere: 3
Utenti: 22
Popolarità: #553,378
Voto: 2.0

ISBN: 17
Lingue: 1

Immagini

Galleria dell'autore

Collegamenti

Wikipedia (English) (non confermato)

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.