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)

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

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

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

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Frederick Pohl -- 3 Heechee Rendevous

 Автор:
Размер книги: 704 Kb

Lectures on the Icosahedron

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

Параллельные миры

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

Il matematico impertinente

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

Eat Reecebread

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