Advertisement
Math::Logic
Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic....
mathematical Perl module multi-value logic mathematical values multi-value
Partition Logic
Partition Logic is a standalone partitioning tool for PC-compatible computers....
Tool standalone partitioning standalone partitioning partitioning tool
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Fuzzy logic trees
Fuzzy logic trees are a machine learning method that applies the principles of fuzzy logic to standard logical decision trees....
Math::Logic::Predicate
Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database....
query Perl module manage manage predicate assertion query predicate assertion
Logic File System
The filesystem of discriminating hackers....
Free Logic Form
Free Logic Form is a system for generating logic forms of English sentences....