libcats.org
Главная

CSL '88 Computer Science Logic 2 conf

CSL '88 Computer Science Logic 2 conf

, ,
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
Популярные книги за неделю:
#5

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport
57.35 Mb
Только что пользователи скачали эти книги:
#7

Leopard 2 / 2A5

Категория: ВОЕННАЯ ИСТОРИЯ
10.98 Mb