A Proof of Plotkin's Conjecture.

Yinbin Lei Maokang Luo

Published in: Fundam. Informaticae (2009)

Keyphrases

theorem prover
computer vision
linear logic
theorem proving
data sets
information retrieval
artificial intelligence
metadata
case study
three dimensional
high level
multi agent systems
information technology
proof planning
formal proof