Search Results

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Вып. 124 : Языки спецификаций и логическое программирование

    Published 1988
    Book
  2. 2

    Логические вопросы теории типов данных сборник научных трудов

    Published Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
    Book