> >

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