Полное описание
Журнал
Mathematical Structures in Computer Science. - Cambridge [etc.] : Cambridge University PressПериодичность . - ISSN 1469-8072. - Текст : электронный.
ГРНТИ УДК
50 004
Аннотация: Статьи по результатам теоретических исследований в области компьютерных наук, преимущественно, на основе приложения идей математики (алгебры, геометрии, теории категорий и др.) и математической логики к проектированию программного обеспечения.. 20031002
journal link