Automated Reasoning in Geometry Theorem Proving with Prolog

AuthID
P-008-VY9
2
Author(s)
Tipo de Documento
Article
Year published
1986
Publicado
in J. Autom. Reason., ISSN: 01687433
Volume: 2, Número: 4, Páginas: 329-390 (61)
Indexing
Publication Identifiers
DBLP: journals/jar/CoelhoP86
SCOPUS: 2-s2.0-0023018402
Source Identifiers
ISSN: 01687433
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.