libcats.org

Главная →

Generic Inference: A Unifying Theory for Automated Reasoning

Generic Inference: A Unifying Theory for Automated Reasoning

Marc Pouly, Juerg Kohlas

Читать «Generic Inference: A Unifying Theory for Automated Reasoning »

Купить электронную версию

fb2 txt rtf epub

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

#1

Каникулы

Бредбери Рэй

13 Kb

#2

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

667 Kb

#3

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

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

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

53.40 Mb

#4

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

Тьюки Дж.

17.33 Mb

#5

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

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

29.85 Mb

#6

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

Анна Стармер

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

19.58 Mb

#7

Применение UML и шаблонов проектирования

Крэг Ларман

Категория: computer

27.84 Mb

#8

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

Юджин Моник

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

3.37 Mb

#9

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

Жорж Жан

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

46.50 Mb

#10

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

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

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

3.01 Mb

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

#1

Стрелок

Кинг Стивен

Категория: Фэнтези

675 Kb

#2

Е.П.Воробьев, К.В.Сенин. Интегральные микросхемы производства СССР и их зарубежные аналоги (Справочник, 1990)

1.93 Mb

#3

Метод усреднения в прикладных задачах

Гребеников Е.А.

Категория: Mathematics, Calculus, Asymptotics, perturbations

3.42 Mb

#4

Обратные задачи Штурма-Лиувилля

Левитан Б.М.

Категория: Mathematics, Mathematical physics

3.34 Mb

#5

Звезда, треугольник, зигзаг (5-е изд.)

Каминский Е.А

1.55 Mb

#6

Сколопендровые многоножки (Chilopoda, Scolopendromorpha). М., 1991

Залесская Н.Т., Шилейко А.А.

Категория: Ботаника, Животные, Определители

2.31 Mb

#7

Его величество нож или спецназ в действии

Медведев А.Н. при участии Богачева С.А.

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

17.61 Mb

#8

Японские карбюраторы 1979-1993гг.

11.95 Mb

#9

Радио 1949-06.djvu

4.09 Mb

#10

Морская практика для матроса

Замоткин А.П.

4.14 Mb