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

Publication details

Publication details
Main information
Uniform limit in explicit mathematics with universes
March 1997
Kah97iam
-
Technical report
Reinhard Kahle
-
IAM, Universität Bern
-
IAM-97-002
-
http://www.iam.unibe.ch/til/publications/1997/kahle_97a
Export formats
Reinhard Kahle, Uniform limit in explicit mathematics with universes, IAM, Universität Bern, IAM-97-002, (http://www.iam.unibe.ch/til/publications/1997/kahle_97a), March 1997.
Reinhard Kahle, <b>Uniform limit in explicit mathematics with universes</b>, IAM, Universität Bern, IAM-97-002, (<a href="http://www.iam.unibe.ch/til/publications/1997/kahle_97a" target="_blank">url</a>), March 1997.
@techreport {Kah97iam, author = {Reinhard Kahle}, title = {Uniform limit in explicit mathematics with universes}, institution = {IAM, Universit{\"a}t Bern}, number = {IAM-97-002}, url = {http://www.iam.unibe.ch/til/publications/1997/kahle_97a}, month = {March}, year = {1997}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=66833d6d20ea3c5dbb3f14e1f5c52592
http://centria.di.fct.unl.pt/publications/view.php?code=Kah97iam
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