Вып. 146 : Логика и семантическое программирование; Вычислительные системы

Bibliografiske detaljer
Parent link:Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 146 : Логика и семантическое программирование.— : [Б. и.], 1964-2008
Sprog:russisk
Udgivet: 1992
Fag:
Format: Bog
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=26005

MARC

LEADER 00000nam2a2200000 4500
001 26005
005 20231101205716.0
010 |a 5762304175 
035 |a (RuTPU)RU\TPU\book\26245 
035 |a BOOK00000162 
090 |a 26005 
100 |a 20011209d1992 k y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a y z 000zy 
200 0 |a Вып. 146 : Логика и семантическое программирование 
210 |d 1992 
215 |a 202 с. 
461 1 |0 (RuTPU)RU\TPU\book\41273  |t Вычислительные системы  |o сборник научных трудов  |f Российская академия наук; Институт математики им. С. Л. Соболева  |v Вып. 146 : Логика и семантическое программирование  |n [Б. и.]  |d 1964-2008 
606 1 |a Вычислительные системы  |2 stltpush  |3 (RuTPU)RU\TPU\subj\67468  |9 83253 
610 1 |a семантическое программирование 
610 1 |a логика 
610 1 |a логическое программирование 
610 1 |a языки спецификаций 
610 1 |a семантическое программирование 
675 |a 681.324  |v 3 
801 0 |a RU  |b 63413507  |c 20011209  |g PSBO 
801 2 |a RU  |b 63413507  |c 20170302  |g PSBO 
942 |c BK