Advertisement
The Formula 1 Toolbar
Easy access to F1 news worldwide...
Chemistry::File::Formula
Molecular formula reader/formatter...
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem