Home >
domains >
www.latrobe.edu.au
Symbolic Processing in Pascal
A large collection of symbolic processing projects designed and implemented in Pascal, with heavy emphasis on backtracking. Topics include parsers, translators, compilers, interpreters, and theorem provers.
|
Keyword |
Results for this URL |
Total searches |