Login / Signup
The Use of Proof in Diversity Arguments.
Bev Littlewood
Published in:
IEEE Trans. Software Eng. (2000)
Keyphrases
</>
argumentation schemes
theorem prover
theorem proving
database
neural network
machine learning
linear logic
artificial intelligence
knowledge base
case based reasoning
geometry theorem proving