On the Ziv-Lempel proof and related topics.

Dafna Sheinwald

Published in: Proc. IEEE (1994)

Keyphrases

related topics
computer science
theorem prover
theorem proving
proof planning
genetic algorithm
linear logic
database
artificial intelligence
information systems
hidden markov models
logical rules