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

Technical reports

  • Reinhard Kahle, Uniform limit in explicit mathematics with universes, IAM, Universität Bern, IAM-97-002, (url), March 1997.
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