Вып. 146 : Логика и семантическое программирование; Вычислительные системы
| Parent link: | Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 146 : Логика и семантическое программирование.— : [Б. и.], 1964-2008 |
|---|---|
| Sprache: | Russisch |
| Veröffentlicht: |
1992
|
| Schlagworte: | |
| Format: | Buch |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=26005 |
| Beschreibung: | 202 с. |
|---|---|
| ISBN: | 5762304175 |