Next: About this document
Up: No Title
Previous: Statement of how
References
- 1
-
Watters, Carolyn and Ho, Jack
MathProbe: Active Mathematical Dictionary
Technical Report 94-01,
Jodrey School of Computer Science, Acadia University
- 2
-
Watters, Carolyn and Ho, Jack
MathProbe: Active Mathematical Dictionary
Technical Report 94-01,
Jodrey School of Computer Science, Acadia University
- 3
-
At-Kaci, Hassan
An Introduction to LIFE-Programming with
Logic, Inheritance, Functions, and Equations
In Dale Miller, editor,
Logic Programming, Proceedings of the 1993 International Symposium,
page 52-68, MIT Press, Cambridge MA, 1993.