Вып. 146 : Логика и семантическое программирование; Вычислительные системы
| Parent link: | Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 146 : Логика и семантическое программирование.— : [Б. и.], 1964-2008 |
|---|---|
| 言語: | ロシア語 |
| 出版事項: |
1992
|
| 主題: | |
| フォーマット: | 図書 |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=26005 |