- Record: found
- Abstract: not found
- Book Chapter: not found
Artificial Intelligence and Symbolic Computation
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references11
- Record: found
- Abstract: not found
- Book Chapter: not found
The PROSPER Toolkit
Louise A. Dennis, Graham Collins, Michael Norrish … (2000)
- Record: found
- Abstract: not found
- Article: not found
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
Michael Kohlhase, Andreas Franke, M. Kohlhase … (2001)
Author and book information
Comments
Comment on this book
Book chapters
Similar content1,152
- EDUCACIÓN ÉTICA: ¿NORMAS O VIRTUDES? ¿QUÉ GIRO DEBE TOMAR LA ENSEÑANZA DE LA ÉTICA EN LA FORMACIÓN DE UNIVERSITARIOS SOLIDARIOS? Translated title: EDUCATION IN ETHICS: STANDARDS OR VIRTUES? WHAT APPROACH SHOULD THE TEACHING OF ETHICS TAKE TO INSTILL UNIVERSITY STUDENTS WITH A SENSE OF SOLIDARITY? Translated title: EDUCARÃO ÉTICA: NORMAS OU VIRTUDES? QUE CIRO DEVE TOMAR O ENSINO DA ÉTICA NA FORMAÇÃO DE UNIVERSITÁRIOS SOLIDÁRIOS?Authors: Cecilia Echeverría-Falla