Department Seminar Series
An Introduction to Temporal Equilibrium Logic
3rd May 2011, 16:00
Prof Pedro Cabalar
Department of Computer Science, Corunna University, Spain
Maintained by Othon Michail