Notice de personne
- Notice
Carnielli, Walter Alexandre (1952-....) forme internationale
Pays :
Brésil
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1952-01-11
Philosophe et mathématicien. - Spécialiste de mathématiques appliqués à l'informatique.
Forme(s) rejetée(s) :
< Carnielli, Walter A. (1952-....)
< Carnielli, Walter (1952-....)
< Carnielli, Walter A. (1952-....)
< Carnielli, Walter (1952-....)
Source(s) :
Computability : computable functions, logic and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli, 1989 . - Analysis and synthesis of logics [Texte électronique] : how to cut and paste reasoning systems / Walter Carnielli [and others]. - Dordrecht : Springer, cop. 2008
VIAF : National Library of Brazil : Carnielli, Walter Alexandre, 1952-.... . - VIAF : Bibliothèque du Congrès/NACO : né le 11-01-1952 . - VIAF : Bibliothèque nationale d'Allemagne : né à Campinas, Brésil : http://viaf.org/viaf/5009512 (2019-03-28)
Computability : computable functions, logic and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli, 1989 . - Analysis and synthesis of logics [Texte électronique] : how to cut and paste reasoning systems / Walter Carnielli [and others]. - Dordrecht : Springer, cop. 2008
VIAF : National Library of Brazil : Carnielli, Walter Alexandre, 1952-.... . - VIAF : Bibliothèque du Congrès/NACO : né le 11-01-1952 . - VIAF : Bibliothèque nationale d'Allemagne : né à Campinas, Brésil : http://viaf.org/viaf/5009512 (2019-03-28)
Consultée(s) en vain :
Encyclopedic dictionary of mathematics, 1987
Encyclopedic dictionary of mathematics, 1987
Identifiant international de l'autorité :
ISNI 0000 0001 1587 9124
, cf.
http://isni.org/isni/0000000115879124
Identifiant de la notice : ark:/12148/cb12367598t
Notice n° :
FRBNF12367598
Création :
94/01/26
Mise à jour :
19/03/28