Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

libcats.org

Главная →

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

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

Читать «Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems»

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

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:

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

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

Автор: И.П.Стаханов

Категория: science, science, exact

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

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

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

Технология регенерации зубов

Автор: Петров Аркадий Наумович

Категория: Здоровье

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

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

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Система упражнений по развитию способностей человека (Практическое пособие)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Сотворение мира (3-х томник)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Технология солода и пива

Автор: Кунце В.

Категория: Tech

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

Древо жизни

Автор: Петров Аркадий Наумович

Категория: Путь к себе

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

Как обставить квартиру

Автор: Р.Милосавлевич

Категория: color, graph, house, home

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

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

Грандиозный план XX-го столетия.

Автор: Рид Дуглас

Категория: История

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

Математическая теория энтропии

Автор: Мартин Н., Автор: Ингленд Дж. (N.F.G.Martin, Автор: J.W.England)

Категория: Physics, Thermodynamics, statistical physics, Information theory

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

Экстракция благородных металлов сульфидами и сульфоксидами

Автор: Чекушин В.С., Автор: Борбат В.Ф.

Категория: science, technical, civil, industry

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

Задачи по математической статистике

Автор: Чибисов Д. М.

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

Азбука плетения

Автор: Кузьмина М.

Категория: info, manual, hobby, hobby, fancy, house, house

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

Макраме

Автор: В.А. Федотова, Автор: В.И. Федотов

Категория: hobby, hobby, fancy

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

Знакомьтесь с макраме

Автор: М.М. Соколовская

Категория: info, manual, hobby, fancy, hobby, oddjob, hobby

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

Удивительные приключения в Шахматной стране

Автор: Сухин И.Г.

Категория: 1807893-Шахматная библиотека webchess.ru, Шахматные учебники и самоучители

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

Планирование местнопластических операций

Автор: Лимберг А.А.

Категория: КНИГИ НАУКА и УЧЕБА

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

Ecological Psychology in Context: James Gibson, Roger Barker, and the Legacy of William James's Radical Empiricism (Resources for Ecological Psychology)

Автор: Harry Heft

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