234C program for first order logic without quantifiers
- Oct 16, 2003hi.
I'm a student at the University of Texas Arlington and I'm trying to
implement first order logic without quantifiers in C/C++ .... any
tips.. pls email to denzrule@...
working source code would be helpful too :-)