ListarF - Conferencias Científicas por tema "Computation"
Mostrando ítems 1-1 de 1
-
The Logic of Time: from Aristotle to Computer Science
(2017-11-24)This short course will explore that continuous thread which connects the discussion about time in philosophy with the modern use of temporal logic in computer science. It will go through the history of temporal logic to ...