Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)

libcats.org

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger

Скачать книгу бесплатно (pdf, 3.33 Mb)

Читать «Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

Только что пользователи скачали эти книги:

Сны про

Автор: Кротов Виктор

Категория: Научная Фантастика

Размер книги: 13 Kb

Рита Л.Аткинсон, Ричард С.Аткинсон, и другие. Введение в психологию (WinWord)

Автор:

Размер книги: 6.38 Mb

Дэвид Вебер. Прекрасная дружба ("Хонор Харрингтон. Больше чем Хонор" #1)

Автор:

Размер книги: 189 Kb

Войны брендов

Автор: Дэвид Д'Алессандро

Категория: Гуманитарная литература

Размер книги: 1.29 Mb

Психология. Учебник для гуманитарных вузов

Автор: Под редакцией В. Н. Дружинина

Категория: Психология, философия

Размер книги: 8.53 Mb

Dutch Stonewall

Автор: Jacob Aagaard

Категория: 873138-Шахматы Большая Подборка шахматной литературы, OPENINGS

Размер книги: 9.03 Mb

Introduction to Microelectromechanical Microwave Systems

Автор: Hector J. De Los Santos, Автор: Hector J. De Los Santos

Категория: Engineering

Размер книги: 3.13 Mb

Тёмный улей 2: Незримая королева

Автор: Деннинг Трой

Категория: Боевая фантастика

Размер книги: 629 Kb

Chlorinated organic micropollutants

Автор: Hester R.E., Автор: Harrison R.M. (eds.)

Категория: Ch_Chemistry

Размер книги: 1.36 Mb

Das Schwert des Liktors

Автор: Gene Wolfe

Категория: fiction

Размер книги: 1.10 Mb