Revision history for entry Lyon, Tim; van Berkel, Kees: Automating Agential Reasoning: Proof-Calculi and .. [LYOAAR]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-03-24T12:45:05update
2020-03-24T12:45:05update
2020-03-24T12:45:04update
2020-03-24T12:45:04update
2020-02-03T19:30:49updateLocal copy uploaded (view this copy)
2019-11-01T13:41:20update
2019-10-31T14:30:37update
2019-10-31T14:30:37add