Search
 
SCRIPT & CODE EXAMPLE
 
CODE EXAMPLE FOR JAVASCRIPT

predicate logic solver

A x (P(x) V Q(x))
Source by eval-b.stups.uni-duesseldorf.de #
 
PREVIOUS NEXT
Tagged: #predicate #logic #solver
ADD COMMENT
Topic
Name
5+2 =