A Role for Theorem Proving in Multi-Processor Design.

Albert John Camilleri

Published in: CAV (1998)

Keyphrases

theorem proving
multi processor
automatic programming
inference rules
machine learning
first order logic
theorem prover
term rewriting
parallel search
natural language
expert systems
proof planning