Вып. 148 : Логические методы в информатике
Set Level: Вычислительные системы, сборник научных трудов / Российская академия наук; Институт математики им. С. Л. Соболева, Вып. 148 : Логические методы в информатике, [Б. и.] = 1964-2008Language: русский.Country: Россия.Publication: 1993Description: 175 с.ISBN: 5762306755.Bibliography: Библиогр. в конце статей.Subject - Topical Name: Вычислительные системы Subject: вычислительная техника | программирование | информатика | вычислительные системы | логические методы| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 94-2107 | Available |
Total holds: 0
Библиогр. в конце статей
There are no comments on this title.
Log in to your account to post a comment.