|
|
libcats.org
Computer Science Logic, 4 conf., CSL '90Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang SchönfeldThe workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Воспоминания и размышления о давно прошедшемАвтор: Болибрух А.А.Категория: Mathematics, Popular-level
Размер книги: 4.58 Mb
Учебник языка африкаанс. Начальный курсАвтор: Игнатенко Андрей Константинович
Размер книги: 5.67 Mb
Толковый словарь психиатрических терминовАвтор: Блейхер В.М., Автор: Крук И.В.Категория: Психиатрия
Размер книги: 3.77 Mb
На верблюдакх: воспоминания из жизни в средней АзииАвтор: Уралов, Автор: Н. И.Категория: History
Размер книги: 16.91 Mb
Параллельные вычисленияАвтор: Воеводин В.В., Автор: Воеводин Вл.В.Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 3.42 Mb
Dilemmas of Modernity: Bolivian Encounters with Law and LiberalismАвтор: Mark GoodaleКатегория: Юридические науки, Право
Размер книги: 14.68 Mb
|
|
|