PRL Seminars
Automated Proofs in Event Logic
Mark Bickford
September 16, 2005
Abstract
See slides [
PDF
].
PRL Project