( en | de | ru )

 

Disambiguation of "Roanes-Macías, Eugenio"

Author of the publication

copydeleteadd this publication to your clipboard
A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children.

, and . MC, volume 1414 of Communications in Computer and Information Science, page 334-349. Springer, (2020)

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.

Emilio Macías Regalado

Eugenio Rivera

Eugenio Fava

Eugenio Amato

Eugenio Polito

 

Other publications of authors with the same name

Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem., and . AISC, volume 1930 of Lecture Notes in Computer Science, page 157-173. Springer, (2000)An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra., , and . IEA/AIE (Vol. 2), volume 1416 of Lecture Notes in Computer Science, page 687-696. Springer, (1998)A Method of Logic Deduction and Verification in KBS Using Positive Integers., , and . CASC, page 461-475. Springer Berlin Heidelberg, (2001)A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry., and . CASC, volume 8136 of Lecture Notes in Computer Science, page 288-300. Springer, (2013)An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus., , , and . AISMC, volume 958 of Lecture Notes in Computer Science, page 255-263. Springer, (1994)Evolution of railway network flexibility: The Spanish broad gauge case., , , , , and . Math. Comput. Simul., 79 (8): 2317-2332 (2009)Connecting the 3D DGS Calques3D with the CAS Maple., , and . Math. Comput. Simul., 80 (6): 1153-1176 (2010)A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry., and . Automated Deduction in Geometry, volume 4869 of Lecture Notes in Computer Science, page 171-188. Springer, (2006)An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem., , and . AISMC, volume 1138 of Lecture Notes in Computer Science, page 71-86. Springer, (1996)A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking., , and . Math. Comput. Simul., 58 (3): 203-214 (2002)