Resultats de la cerca

Matèries dins de la cerca
  • Mostrar 1 - 2 resultats de 2
Refinar resultats
  1. 1
    Вып. 124 : Языки спецификаций и логическое программирование

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

    Publicat 1988
    Llibre
  2. 2
    Логические вопросы теории типов данных сборник научных трудов

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

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

Eines de cerca: