検索結果

関連のトピックス ...
  • 検索結果 1 - 2 結果 / 2
結果の絞り込み
  1. 1
    Вып. 124 : Языки спецификаций и логическое программирование

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

    出版事項 1988
    図書
  2. 2
    Логические вопросы теории типов данных сборник научных трудов

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

    出版事項 Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
    図書

検索ツール: