School Seminar Series

An Introduction to Temporal Equilibrium Logic

3rd May 2011, 16:00 add to calender
Prof Pedro Cabalar
Department of Computer Science, Corunna University, Spain