Refutation Graphs.

Robert E. Shostak

Published in: Artif. Intell. (1976)

Keyphrases

graph matching
graph structure
theorem proving
graph mining
inductive inference
object recognition
graph structures
series parallel
bipartite graph
graph theory
weighted graph
graph model
graph representation
graph data
graph theoretical