Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

CENTRIA's visitor

Visitor entry
Entry details
João Rasga
Lisboa (Técnica)
Portugal
Talk in the Seminar "Logic and Computation": Decidability of first-order theories: a model-theoretic perspective
Reinhard Kahle
Period of time
2009-12-11
2009-12-11
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento