Books details

GEOM: a Prolog geometry theorem prover

Jan 1976

Publisher: Laboratório Nacional de Engenharia Civil (LNEC)

Authors: Helder Coelho, Luís Moniz Pereira

Editors:

Edition:

Series: Memória 525

Volume:

Issn:

ISBN:

Url:

Notes: Address: Lisbon

Bibtex Key:

DOI:

128

Publication Date: 1 Jan 1976

Publication File: