The proof of a conjecture of Bouabdallah and Sotteau.

Min Xu Xinmin Hou Jun-Ming Xu

Published in: Networks (2004)

Keyphrases

theorem proving
management system
theorem prover
machine learning
information technology
automated theorem proving
databases
three dimensional
multiscale
multi agent systems
proof search
proof planning
complete axiomatization