information about Theorem Proving System field

Theorem Proving System

http://en.wikipedia.org/wiki/Theorem_Proving_System
Field Hierarchy
Parent
HOL
2,435 papers
Current
Theorem Proving System
papers
Child
Trends