Predrag Janicic
AuthID: R-00H-N0F
1
TÃTULO: Automatic verification of regular constructions in dynamic geometry systems
AUTORES: Predrag Janicic; Pedro Quaresma;
PUBLICAÇÃO: 2007, FONTE: 6th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 4869
AUTORES: Predrag Janicic; Pedro Quaresma;
PUBLICAÇÃO: 2007, FONTE: 6th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 4869
INDEXADO EM: 
WOS
WOS