Войти
Нет соединения — показаны сохранённые данные

Theorem proving in higher order logics

Theorem proving in higher order logics

TPHOLs 2007 (2007 Kaiserslautern, Germany)

Войти и добавить на полку

Назад на полку

Похожие книги

Leukemia
Leukemia
UCLA Symposium (1985 Keystone, Colo.)
 Environmental archaeology
Environmental archaeology
Umberto Albarella
 Proceedings of the 1996 IEEE International Symposium on Intelligent Control
Proceedings of the 1996 IEEE International Symposium on Intelligent Control
IEEE International Symposium on Intelligent Control (1996 Dearborn, Mich.)
 Parallel computing
Parallel computing
Germany) ParCo (Conference) (2013 Garching bei München
 Systems science
Systems science
United Kingdom Systems Society Conference on Systems Science: Addressing GlobalIssues (1993 Paisley, Scotland)
 Debugging
Debugging
David J. Agans