Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series, 35)

libcats.org

Главная →

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.

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

Каникулы

Бредбери Рэй

13 Kb

Физиология человека

Косицкий

Категория: Медицина, Физиология

85.34 Mb

Как программировать на C

Х. М. Дейтел, П. Дж. Дейтел

Категория: computers, computers, prog

53.40 Mb

Анализ результатов наблюдений. Разведочный анализ

Тьюки Дж.

17.33 Mb

Мануальная Терапия живота

Башняк

Категория: 1641060-Мануальная терапия

29.85 Mb

Цвет. Энциклопедия. Советы по цветовому оформлению интерьера вашего дома

Анна Стармер

Категория: домоводство, досуг, Строительство и ремонт, дизайн помещений

19.58 Mb

Фаллос. Священный мужской образ

Юджин Моник

Категория: НАУЧНО-ПОПУЛЯРНОЕ, ЧЕЛОВЕК

3.37 Mb

ЯМА. Как научиться выбираться и стать победителем.

Сет Годин

Категория: money, people, develop

28.19 Mb

Знаки и символы. Энциклопедия

Жорж Жан

Категория: НАУЧНО-ПОПУЛЯРНОЕ

46.50 Mb

#10

Твои друзья и помощники

Валентинов А.А.

Категория: ХОББИ и РЕМЕСЛА

3.01 Mb

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

Михаил Нестеров. Инстинкт бойца

667 Kb

Оптимальное управление распределенными системами

Фурсиков А.В.

Категория: Mathematics, Optimization and control

2.50 Mb

Теория оптимального управления системами с распределенными параметрами

Бутковский А.Г.

4.75 Mb

Судебно-медицинская казуистика

Попов В.Л.

Категория: Юридические науки учебная литература

8.96 Mb

Применение интегральных схем

Хейзерман Д.

Категория: Радио

2.68 Mb

Числа хромосом цветковых растений Флоры СССР: Семейства Aceraceae-Menyanthaceae. Л., 1990

Категория: Ботаника, Растения, Справочники

6.96 Mb

Монтаж бурового оборудования

Муравенко А.Д., Муравенко В.А., Муравенко В.А.

Категория: Tech Справочно-информационное издание

6.34 Mb

Карманный справочник радиоинженера.

Дэвис Дж., Карр Дж.

3.37 Mb

Чётки. История, традиции, культура

Сергей Трофимов

Категория: society, religion, society, culture

12.19 Mb

#10

Геодезические свето- и радиодальномеры.

Генике А.А., Афанасьев А.М.

2.22 Mb