Where the truth lies (in automatic theorem proving in elementary geometry)
- Recio, T.
- Botana, F.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540220565
Argitalpen urtea: 2004
Alea: 3044
Orrialdeak: 761-770
Mota: Artikulua
ISSN: 1611-3349, 0302-9743
ISBN: 9783540220565
Argitalpen urtea: 2004
Alea: 3044
Orrialdeak: 761-770
Mota: Artikulua