- Record: found
- Abstract: not found
- Book Chapter: not found
Intelligent Computer Mathematics
Combining Source, Content, Presentation, Narration, and Relational Representation
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 references9
- Record: found
- Abstract: not found
- Article: not found
A framework for defining logics
Robert Harper, Furio Honsell, Gordon D. Plotkin (1993)
- Record: found
- Abstract: not found
- Book Chapter: not found
System Description: Twelf — A Meta-Logical Framework for Deductive Systems
Frank Pfenning, Carsten Schürmann (1999)
- Record: found
- Abstract: not found
- Book Chapter: not found
Integrating Web Services into Active Mathematical Documents
Jana Giceva, Christoph Lange, Florian Rabe (2009)