libcats.org
Главная

Computer Science Logic, 11 conf., CSL '97

Обложка книги Computer Science Logic, 11 conf., CSL '97

Computer Science Logic, 11 conf., CSL '97

,
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.
Популярные книги за неделю:

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Terry Goodkind - Debt of Bones

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

Введение в теорию цвета

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

Hercule Poirot, Book 25, The Labors of Hercules

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

Statism and Anarchy

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

enemigo

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

Island of Ghosts

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

Story of Faruk

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

The Burning Land

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

Totenbarke nach Xantilon

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