TY  - GEN
T1  - Existence theorems in mathematics
A1  - GLASS, A. M. W.
UL  - http://buscaintegrada.pucsp.br/vufind/Record/108288
KW  - Ciência da computação
KW  - Inteligência artificial
ER  -