Proof Granularity as an Empirical Problem?

Marvin R. G. Schiller Christoph Benzmüller

Published in: CSEDU (1) (2009)

Keyphrases

theorem prover
genetic algorithm
website
case study
linear logic
fine granularity
databases
artificial intelligence
multi agent
preprocessing
relational databases
proof planning
geometry theorem proving