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

C program for first order logic without quantifiers

Expand Messages
  • denzrule
    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
    Message 1 of 1 , 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 :-)
    Your message has been successfully submitted and would be delivered to recipients shortly.