Detail

Publication date: 1 de June, 2021

GEOM: a Prolog geometry theorem prover – Memória 525 ISBN –


Publisher Laboratório Nacional de Engenharia Civil (LNEC)
Pub. Date 01/01/1976