libcats.org
Главная →

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

Обложка книги Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

,
Популярные книги за неделю:

50 рецептов для аэрогриля

 Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Невидимое оружие ГРУ

 Автор:
Категория: История
Размер книги: 552 Kb

Probability in Banach Spaces: Isoperimetry and Processes

Автор: , Автор:
Размер книги: 2.46 Mb

PERL in 21 Tagen . Schritt für Schritt zum Programmierprofi

 Автор:
Размер книги: 1.43 Mb

Thinking about Life: The history and philosophy of biology and other sciences

 Автор: , Автор:
Категория: Philosophy
Размер книги: 3.45 Mb

На Плоту

 Автор:
Категория: Песенники и тосты
Размер книги: 1 Kb

Swan for the Money

 Автор:
Категория: fiction
Размер книги: 636 Kb

Damian's Assassin

 Автор:
Категория: fiction
Размер книги: 444 Kb