Войти
Нет соединения — показаны сохранённые данные
Theorem proving in higher order logics
Theorem proving in higher order logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)