Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample.

Published in: MICAI (1) (2010)

Keyphrases

theorem proving
model checking
theorem prover
open ended
database
collaborative learning
data sets
decision making
three dimensional
face recognition
multi agent
search algorithm
formal verification
linear logic
automated theorem proving
natural deduction