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 12:56 AM
      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.