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
GEOM: a Prolog geometry theorem prover
1976
lmpbk76
-
Written book
Hélder Coelho, Luís Moniz Pereira
-
Memória 525
Laboratório Nacional de Engenharia Civil (LNEC)
Lisbon
-
-
-
-
Export formats
Hélder Coelho and Luís Moniz Pereira, GEOM: a Prolog geometry theorem prover of Memória 525, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1976.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=4b1819152a2c112ed45a29fbf9ca15e1_amp_cscd=6fe5fbc4e4bf927c00cc16e73d95cd79" class="author">Hélder Coelho</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=6fe5fbc4e4bf927c00cc16e73d95cd79" class="author">Luís Moniz Pereira</a></b>, <u>GEOM: a Prolog geometry theorem prover</u> of Memória 525, <a href="http://www-ext.lnec.pt/" title="Link to external entity..." target="_blank" class="publisher">Laboratório Nacional de Engenharia Civil (LNEC)</a>, Lisbon, 1976.
@book {lmpbk76, author = {H{\'e}lder Coelho and Lu\'{\i}s Moniz Pereira}, title = {GEOM: a Prolog geometry theorem prover}, series = {Mem{\'o}ria 525}, publisher = {Laborat{\'o}rio Nacional de Engenharia Civil (LNEC)}, address = {Lisbon}, pages = {128}, year = {1976}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=97d225c4924bbae7ce78aa914edb2f2c
http://centria.di.fct.unl.pt/publications/view.php?code=lmpbk76
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