Tseitin-Transformation

Results: 1



#Item
1Logic programming / Logic / Clause / Predicate logic / Literal / Java / Conjunctive normal form / Tseitin-Transformation / Propositional calculus / Mathematical logic / Computing

A Differential Diagnostic System based on a Java Framework for Intelligent Systems by Holger Flier

Add to Reading List

Source URL: www.utdallas.edu

Language: English - Date: 2006-06-28 21:44:26
UPDATE