Login / Signup
Tipi: A TPTP-based theory development environment emphasizing proof analysis
Jesse Alama
Published in:
CoRR (2012)
Keyphrases
</>
development environment
data analysis
artificial intelligence
database systems
expert systems
lightweight