Department Seminar Series

Translation-based theorem proving for non-classical logics

3rd April 2001, 16:00 add to calender
Ullrich Hustadt
Liverpool University