information about Superposition calculus field

Superposition calculus

http://en.wikipedia.org/wiki/Superposition_calculus
Field Hierarchy
Parent
Rule of inference
3,435 papers
Current
Superposition calculus
papers
Child
Trends