Loading ...
Sorry, an error occurred while loading the content.

234C program for first order logic without quantifiers

Expand Messages
  • denzrule
    Oct 16, 2003
    • 0 Attachment
      hi.
      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@...
      Denny Zarule

      working source code would be helpful too :-)