org.jscience.mathematics.axiomatic
Interfaces
Node
Classes
Analyzer
AxiomConverter
BranchNode
DistinctVariables
LeafNode
LexTable
LexWalker
Merge
Proof
ProofBuffer
ProofIterator
ProofStack
ProofSystem
ProofTree
Prover
SchemaBuilder
SchemaConverter
SchemaReader
StaticStringBuffer
Unifier
VariablePair
WFF
Exceptions
UnsynchedException