Web ИРБИС

Husberg, N. Helsinki university of technology(Espoo).Digital systems laboratory.
High level distributed transition systems in categories [Text] : diss. / N. Husberg ; Helsinki university of technology(Espoo).Digital systems laboratory. - Espoo : [s. n.], 1992. - 119 p. : ill. - (Reports of the digital systems laboratory.Research reports;Ser.A / Helsinki univ.of technology, ISSN 07835396;N19). - ISBN 951-22-1296-X : Б. ц.
; Библиогр.:с.106-109.Указ.:с.115-119

ГРНТИ	^a50.33
УДК	^a681.324.019(043)

Рубрики: <Вычислительные> <системы> <распределенные>

Свободных экз. нет

Niemela, I. Helsinki university of technology(Espoo).Digital systems laboratory.
Autoepistemic logic as a unified basis for nonmonotonic reasoning [Text] : diss. / I. Niemela ; Helsinki university of technology(Espoo).Digital systems laboratory. - Espoo : [s. n.], 1993. - 162 p. : ill. - (Reports of the digital systems laboratory.Research reports;Ser.A / Helsinki univ.of technology, ISSN 07835396;N 24). - ISBN 951-22-1689-2 : Б. ц.
; Библиогр.:с.149-162

ГРНТИ	^a28.23
УДК	^a681.3.06:007(043)

Рубрики: <Искусственный> <интеллект>

Свободных экз. нет

OsterGard, P. R.J. Helsinki university of technology(Espoo).Digital systems laboratory.
Construction methods for covering codes [Text] : diss. / P. R.J. OsterGard ; Helsinki university of technology(Espoo).Digital systems laboratory. - Espoo : [s. n.], 1993. - 25 p. : ill. - (Reports of the digital systems laboratory.Research reports;Ser.A / Helsinki univ.of technology, ISSN 07835396;N 25). - ISBN 951-22-1696-5 : Б. ц.
; Библиогр.:с.18-24

ГРНТИ	^a28.21.19
УДК	^a007:519.72(043)

Рубрики: <Коды>

Свободных экз. нет

request_decrypt("(<.>M=Helsinki university of technology(Espoo).Digital systems laboratory<.>)");