Digital logs - proof matters.

Published in: Digit. Investig. (2004)

Keyphrases

genetic algorithm
digital media
information systems
metadata
theorem prover
theorem proving
log data
natural deduction
digital world