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

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

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

Селеста Брэдли. Соблазнить шпиона ("Королевская четверка" #4)

Автор:

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

Андрей Аарх. М.

Автор:

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

Ричард Вудмен. Око флота

Автор:

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

PHP and MySQL Web Development (4th Edition)

Автор: Luke Welling, Автор: Laura Thomson

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

Общая биотехнология: Методические указания к выполнению лабораторного практикума

Автор: Данилова Т.Е., Автор: Тарнуева Н.М.

Категория: Биотехнология

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

Computer Lib Dream Machines - 1st edition

Автор: Ted Nelson

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

Исследование систем управления : Учеб. пособие для вузов

Автор: Мыльник, Автор: Владимир Владимирович;Титаренко, Автор: Борис Петрович; Волочиенко, Автор: Владимир Антонович

Категория: Экономика

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

Loop

Автор: Suzuki Koji

Категория: fiction

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

The Infernal Web

Автор: Cave Hugh B

Категория: fiction

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

44531

Автор: Thomason Dustin

Категория: fiction

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