A Note on Rewriting Proofs and Fibonacci Numbers.

Max I. Kanovich

Published in: LFCS (2007)

Keyphrases

rewrite rules
databases
multi agent
theorem prover
theorem proving
formal proofs
neural network
genetic algorithm
information systems
conjunctive queries
rewriting rules