A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Building problem solving environments in constructive type theory
Building problem solving environments in constructive type theory
Building problem solving environments in constructive type theory
Basin, David A. (author)
1989
V, 119 S.
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Theses
English