The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Jean-Raymond Abrial Dominique Cansell (auth.) David Basin Burkhart Wolff (eds.)
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
pdf
Author:
Jean-Raymond Abrial Dominique Cansell (auth.) David Basin Burkhart Wolff (eds.)
Language:
English
Year:
2003
0
0
27.01.2024
0
0
Read online
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
pdf
Author:
Jean-Raymond Abrial Dominique Cansell (auth.) David Basin Burkhart Wolff (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через