libcats.org

Главная →

On the Expressive Power of First-Order Logic with Built-In Predicates

On the Expressive Power of First-Order Logic with Built-In Predicates

Nicole Schweikardt

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

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

#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

А.П.Николаев, М.В.Малкина. 500 схем для радиолюбителей (Часть 2, Радиоприемники, djvu)

1.33 Mb

#2

Дж.Уитсон. 500 практических схем на ИС (1992, djvu)

7.61 Mb

#3

500 практических схем на ИС

Уитсон Дж.

6.42 Mb

#4

500 схем для радиолюбителей. В 4-х частях

Николаев А. П.

501 Kb

#5

500 схем для радиолюбителей. В 4-х частях

Николаев А.П., Малакина М.В.

2.72 Mb

#6

500 схем для радиолюбителей. В 4-х частях

Николаев А.П., Малакина М.В.

2.45 Mb

#7

500 схем для радиолюбителей. В 4-х частях

Николаев А.П., Малакина М.В.

2.16 Mb

#8

Энциклопедия любительского дайвинга

Категория: 2312727-PADI Энциклопедия любительского дайвинга (русский перевод)

658.00 Mb

#9

Н.А. Прокопьевич '500 схем для радиолюбителей - приемники'.zip

2.00 Mb

#10

Конструктивные дефекты одежды и способы их устранения

Рахманов Н.А.Стаханова С.И.

4.31 Mb