|
Search the dblp DataBase
Pedro Quaresma:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Predrag Janicic, Pedro Quaresma
System Description: GCLCprover + GeoThms. [Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:145-150 [Conf]
- Pedro Quaresma, Predrag Janicic
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. [Citation Graph (0, 0)][DBLP] MKM, 2006, pp:280-294 [Conf]
- Pedro Quaresma, Predrag Janicic
GeoThms - a Web System for Euclidean Constructive Geometry. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:35-48 [Journal]
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. [Citation Graph (, )][DBLP]
E-Learning Course for Euclidean Geometry. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|