Artificial Intelligence and Symbolic Computation AISC 2014
FLoC workshops - Interpolation, Vampire
PAAR 2014 Call for Papers
PhD Studentship at UCL in Logic-based Knowledge Representation and Reasoning
Last message date: Monday, 31 March 2014 16:55:23 UTC