CSL'89. 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2−6, 1989: proceedings / editors: E. Börger, H. Kleine Büning, M. M. Richter
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Berlin [etc.] : Springer-Verlag , 1990 |
| Физические характеристики: |
VI, 437 с.
|
| Язык: | Английский |
| Серия: |
Lecture notes in computer science
440 |
ОФХ отдела книгохранения
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||