: a Self-Contained Proof Using Mostly Combinatorial Arguments.

Gelasio Salazar Edgardo Ugalde

Published in: Graphs Comb. (2004)

Keyphrases

theorem prover
information systems
theorem proving
data mining
proof planning
argumentation schemes
databases
neural network
image processing
data structure
argumentation systems
logical rules