libcats.org
Главная

Mechanizing Mathematical Reasoning

Обложка книги Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

,

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of J?rg H. Siekmann.

The 30 revised reviewed papers are written by former and current students and colleagues of J?rg Siekmann; also included is an appraisal of the scientific career of J?rg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Стефани Блэйк. Живу тобой одной

Автор:
Размер книги: 747 Kb

A Fourier Analysis And Its Applications

Автор:
Размер книги: 5.15 Mb

php|architect's Guide to PHP Security|

Автор: , Автор:
Размер книги: 1.19 Mb

Morbid Obesity: Peri-operative Management, Second Edition

Автор: , Автор: , Автор: , Автор:
Категория: Экономика
Размер книги: 7.89 Mb

Wonders and the Order of Nature, 1150-1750

Автор: , Автор:
Размер книги: 17.94 Mb

The Celestial Toymaker

Автор: , Автор:
Категория: fiction
Размер книги: 230 Kb