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)

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

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

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

Древо жизни

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

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

 Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Остановка в Х.

 Автор:
Категория: Современная проза
Размер книги: 45 Kb

ccsp securing cisco ios networks study guide

 Автор:
Категория: COmputer & Programming
Размер книги: 10.53 Mb

Теория моделей

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

The Rise and Fall of the Third Reich

 Автор:
Категория: История, Военная история
Размер книги: 7.36 Mb

Die Geisterhöhle

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

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