bn:02172903n
Noun Named Entity
PT
No term available
EN
Artur d'Avila Garcez is a researcher in the field of computational logic and neural computation, in particular hybrid systems with application in software verification and information extraction. Wikipedia
Relations
Sources
IS A
COUNTRY OF CITIZENSHIP
DOCTORAL ADVISOR
GIVEN NAME
LANGUAGES SPOKEN, WRITTEN OR SIGNED
OCCUPATION
SEX OR GENDER