ConProve: A conceptual prover system.

Samir Elloumi Ali Jaoua Bilel Boulifa Mohammad Saleh Jameela Al Otaibi

Published in: AICCSA (2014)

Keyphrases

theorem proving
theorem prover
database
machine learning
data model
topic maps
conceptual knowledge
automated theorem proving