The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Gilles Dowek (eds.)
Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
pdf
Author:
Gilles Dowek (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
pdf
Author:
Aarti Gupta (auth.) Alessandro Armando Peter Baumgartner Gilles Dowek (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
pdf
Author:
Aarti Gupta (auth.) Alessandro Armando Peter Baumgartner Gilles Dowek (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
