Հայաստանի ատենախոսությունների բաց մատչելիության պահոց = Open Access Repository of the Armenian Electronic Theses and Dissertations (Armenian ETD-OA) = Репозиторий диссертаций Армении открытого доступа

Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лёфа

Марикян, Гоар Герасимовна (1994) Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лёфа. PhD thesis, Институт проблем информатики и автоматизации НАН РА.

Full text not available from this repository.
Item Type: Thesis (PhD)
Subjects: Informatics and Computer Systems
Divisions: UNSPECIFIED
Depositing User: NLA Circ. Dpt.
Date Deposited: 07 Feb 2019 15:27
Last Modified: 07 Feb 2019 15:27
URI: http://etd.asj-oa.am/id/eprint/8885

Actions (login required)

View Item