Passer au contenu principal

Photo de l'auteur

Anil Nerode

Auteur de Logic for Applications

3 oeuvres 22 utilisateurs 0 critiques

Œuvres de Anil Nerode

Populaires Récent

Logic for Applications (1993) 16 exemplaires

Recursion theory (1985) 5 exemplaires

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

Explorateur d'oeuvres

Étiqueté

50.00 (1) @living in Ann Arbor (1) @purchased in Chicago (1) Collection (1) cs theory (1) IA Avanzada (1) Informatique (3) Langages de programmation (1) Logique (3) Mathématiques (2) motives jannsen (1) partially unread (1) première édition (1) Programmation logique (1) Prolog (1) recursion theory (2) Springer (1) Théorie de la complexité (1)

Traduction des mots-clés activée

Partage des connaissances

Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.

Membres

Vous aimerez peut-être aussi

Auteurs associés

Richard A. Shore

Statistiques

Œuvres: 3
Membres: 22
Popularité: #553,378
Évaluation: 2.0

ISBN: 17
Langues: 1

Photos

Galerie des auteurs

Liens

Wikipedia (English) (non confirmé)

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Est-ce vous ?

Devenez un(e) auteur LibraryThing.

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

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.