libcats.org
Главная

Computer Science Logic, 7 conf., CSL '93

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

Computer Science Logic, 7 conf., CSL '93

, ,
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
Популярные книги за неделю:

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

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

Древо жизни

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

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

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

Древо жизни

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

Contemporary Theatre, Film and Television, Volume 97

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

Китайский агент

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

Pocket Guide to Critical Care Pharmacotherapy

Автор:
Категория: Медицина
Размер книги: 936 Kb

Карты любви

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

Gale Force

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

Zorgen Om Bella En Tijger Of Illusie

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

House of Dark Shadows

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

Mastering the Art of French Cooking 1

Автор: , Автор: , Автор:
Категория: cookbook
Размер книги: 6.92 Mb