Proof Nets and Explicit Substitutions.

Roberto Di Cosmo Delia Kesner Emmanuel Polonowski

Published in: FoSSaCS (2000)

Keyphrases

theorem prover
theorem proving
multiresolution
database
real world
information retrieval
genetic algorithm
artificial intelligence
knowledge base
three dimensional
multi agent
domain knowledge
proof search
proof planning