libcats.org
Главная →
Theorem proving in higher order logics, 17 conf., TPHOLs 2004
Популярные книги за неделю:
Только что пользователи скачали эти книги:
#3
Чёрная магия (Сборник)
Гейман Нил, Никс Гарт, Розенблюм Мэри, Бейкер Кейдж, Колфер Йон, Йолен Джейн, Уильямс Тэд, Маккиллип Патриция Анна, Хэнд Элизабет, Данкан Энди, Бигл Питер С., Кресс Нэнси, Форд Джеффри, Ли Танит, Биссон Терри, Доулинг Терри, Вулф Джин, Кард Орсон Скотт
|
