Bounded Variable Logics and Counting: A Study in Finite Models (Lecture Notes in Logic, 9)

libcats.org

Главная →

Martin Otto

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

Читать «Bounded Variable Logics and Counting: A Study in Finite Models (Lecture Notes in Logic, 9)»

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

Розалинд Мак-Найт. Космические путешествия

Автор:

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

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

Категория: color, architect, civil, building

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

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

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

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

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

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Автор: Роман Савин

Категория: info, manual, computers, computers, manuals

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

Категория: Электротехника и связь

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

Contemporary Theatre, Film and Television, Volume 97

Автор: Thomas Riggs

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

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

У караулки на Думной горе

Автор: Бажов Павел

Категория: Детская литература

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

De Camp, L Sprague - Language for Time Travellers

Автор: De Camp L Sprague

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

Allen Steele - The Tranquillity Alternative

Автор: Steele Allen

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

Леонид Сапожников. Кольцо из клуба "Архимед" (детск.)

Автор:

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

A biplot method for multivariate normal populations with unequal covariance matrices

Автор: Calvo M., Автор: Villarroya A., Автор: Oller J.M.

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

Протокол обмена между считывателем 'Walker' и компьютером

Автор:

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

Microorganisms in Foods 6: Microbial Ecology of Food Commodities (Microorganisms in Foods)

Автор: International Commission on Microbiological Specifications of Foods (ICMSF)

Категория: Биология, Экология

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

Real-Time Database Systems - Architecture and Techniques (The Kluwer International Series in Engineering and Computer Science Volume 593) (The Springer ... Series in Engineering and Computer Science)

Автор: Kam-Yiu Lam, Автор: Tei-Wei Kuo

Категория: Компьютеры

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

Техника и Война. Очерки по современной военной техники

Автор:

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

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

A Dance Through Time

Автор: Kurland Lynn

Категория: fiction

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