תוצאות חיפוש

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

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

    יצא לאור 1988
    ספר
  2. 2

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

    יצא לאור Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
    ספר