Ethical Computing: Instructional Design, Moral Reasoning and Imagination and Narrative
Interpretive Argumentation
ISABELLE WORKSHOP and TUTORIAL
Symbolic Computation in Software Science - Call for Papers
Last message date: Monday, 19 May 2014 13:44:37 UTC