|
|
libcats.org
Logic and automata: History and perspectivesJorg Flum, Erich Gradel, Thomas WilkeMathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.>
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Дясното око на комендантаАвтор: Харт Франсис БретКатегория: Классическая проза
Размер книги: 34 Kb
Отделка и складирование швейных изделийАвтор: Гарин В.А., Автор: Лифанов В.А.
Размер книги: 3.35 Mb
Collaborative Computer Security and Trust Management (Premier Reference Source)Автор: Jean-Marc Seigneur, Автор: Adam Slagell, Автор: Jean-Marc Seigneur, Автор: Adam Slagell
Размер книги: 4.66 Mb
'Курс ''Конструирование и дизайн модной одежды'' (ЕШКО)''Автор: коллектив (в основе ЦОШТЛ)
Размер книги: 3.29 Mb
|
|
|