libcats.org
Главная

Computer Science Logic, 22 conf., CSL 2008

Обложка книги Computer Science Logic, 22 conf., CSL 2008

Computer Science Logic, 22 conf., CSL 2008

,

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.

The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.

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

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Fractal Geometry and Stochastics

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

Glock Exotic Weapons System

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

Drama in the People's Republic of China

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

The Physics of Miracles

Автор:
Категория: fiction
Размер книги: 1.71 Mb