Where the truth lies (in automatic theorem proving in elementary geometry)
- Recio, T.
- Botana, F.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540220565
Any de publicació: 2004
Volum: 3044
Pàgines: 761-770
Tipus: Article
ISSN: 1611-3349, 0302-9743
ISBN: 9783540220565
Any de publicació: 2004
Volum: 3044
Pàgines: 761-770
Tipus: Article