2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Logical frameworks
Gèrard Huet
,
Gordon Plotkin
4.28 Mb
#2
Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings
Amba Kulkarni
,
Gèrard Huet
5.81 Mb
#3
Sanskrit Computational Linguistics, 1 and 2 conf. 2007 and 2008
Gérard Huet
,
Amba Kulkarni
,
Peter Scharf
Категория:
CsLn_
9.82 Mb
#4
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Yves Bertot
,
Gérard Huet
,
Jean-Jacques Lévy
,
Gordon Plotkin
4.04 Mb