Tous les ebooks d'A. Nerode en PDF


3  résultat(s)
Télécharger le livre :  Recursive Algebra, Analysis and Combinatorics
Ajouter à ma liste d'envies

Recursive Algebra, Analysis and Combinatorics


J.B. Remmel , A. Nerode , S.S. Goncharov , Y.L. Ershov


Recursive Algebra, Analysis and Combinatorics

Parution : 1998-11-30
Format(s) : PDF sans DRM
Éditeur : North Holland
J'achète
189,90
Télécharger le livre :  Recursive Model Theory
Ajouter à ma liste d'envies

Recursive Model Theory


J.B. Remmel , A. Nerode , S.S. Goncharov , Y.L. Ershov


Recursive Model Theory

Parution : 1998-11-30
Format(s) : PDF sans DRM
Éditeur : North Holland
J'achète
157,19
Télécharger le livre :  Principles of Logic and Logic Programming
Ajouter à ma liste d'envies

Principles of Logic and Logic Programming


G. Metakides , A. Nerode


Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed.With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only...

Parution : 1996-06-13
Format(s) : PDF sans DRM
Éditeur : North Holland
J'achète
184,63

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés