Author of the publication

A Proposal of Diagnosis for an ITS for Computational Logic.

, , , , and . CAEPIA, volume 3040 of Lecture Notes in Computer Science, page 86-95. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Student Modelling and Interface Design in SIAL., , , , and . Intelligent Tutoring Systems, volume 1839 of Lecture Notes in Computer Science, page 659. Springer, (2000)A Proposal of Diagnosis for an ITS for Computational Logic., , , , and . CAEPIA, volume 3040 of Lecture Notes in Computer Science, page 86-95. Springer, (2003)The Effect of Buffering on the Performance of R-Trees., and . IEEE Trans. Knowl. Data Eng., 12 (1): 33-44 (2000)Finding k-Closest-Pairs Efficiently for High Dimensional Data., and . CCCG, (2000)On Optimal Node Splitting for R-trees., , and . VLDB, page 334-344. Morgan Kaufmann, (1998)Efficient Approximation of Convex Polygons., and . Int. J. Comput. Geometry Appl., 10 (5): 445-452 (2000)Hausdorff approximation of convex polygons., and . Comput. Geom., 32 (2): 139-158 (2005)Drawing the double circle on a grid of minimum size, , , , and . CoRR, (2013)Constrained polygon transformations for incremental floorplanning., , and . ACM Trans. Design Autom. Electr. Syst., 6 (3): 322-342 (2001)Computing the coarseness with strips or boxes., , , and . Discrete Applied Mathematics, (2017)