Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
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. (Autor:in)
1989
V, 119 S.
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Hochschulschrift
Englisch