bn:02172903n
Noun Named Entity
EL
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