PRL Seminars
Automating Proofs in Event Logic
Mark Bickford
August 26, 2005
Abstract
See slides [
PDF
].
PRL Project