Yazar
bengt nordstrom
4 cilt bulundu.
Cilt sonuçları
Programming in Martin-Löf's type theory
Bengt Nordström · Clarendon Press
221 sayfa · 1990
Computer programming / Set theory / Electronic digital computers, programming
Minnen och dokument
Stig G. Nordström, Gunnar Richardson, Bengt Thelin · Föreningen för svensk undervisningshistoria
Sayfa sayısı yok · 1990
Education / History