|
libcats.org
Computer Science Logic, 17 conf., CSL 2003Matthias Baaz, Johann M. MakowskyThis book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt G?del Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#5
Инженерная графика. Учебное методическое пособиеКозлова Л.А.Категория: Графика дизайн фото мультимедиа игры
39.71 Mb
#8
УАЗ-31512, -31514, -31519 с двигателями 2,5; 2,9. Устройство, обслуживание, диагностика, ремонтКолективКатегория: ТЕХНИКА
32.64 Mb
#10
Введение в теорию дифференциальных уравненийФилиппов А.Ф.Категория: Математика, Дифференциальные уравнения
4.81 Mb
|
|