Вып. 146 : Логика и семантическое программирование
Set Level: Вычислительные системы, сборник научных трудов / Российская академия наук; Институт математики им. С. Л. Соболева, Вып. 146 : Логика и семантическое программирование, [Б. и.] = 1964-2008Language: русский.Country: Россия.Publication: 1992Description: 202 с.ISBN: 5762304175.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 | НТБ ТПУ Учебный фонд | 681 В949 | Available | 13821000652860 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.