PHP Classes

File: FirstOrderLogicProp.inc.php

Recommend this page to a friend!
  Classes of naholyr   First Order Logic Prop   FirstOrderLogicProp.inc.php  
File: FirstOrderLogicProp.inc.php
Role: Class source
Content type: text/plain
Description: The file containing base class and the checker class
Class: First Order Logic Prop
Manipulate, analyze, and prove logic propositions
Author: By
Last change:
Date: 20 years ago
Size: 65,402 bytes

You need to be a registered user and login to get this file.

1,615,835 PHP developers registered to the PHP Classes site.
Be One of Us!

Login Immediately with your account on: