Engeler, Erwin.
Engeler, Erwin, 1930-....
Engeler, E.
Erwin Engeler Schweizer Mathematiker und Informatiker, Professor an der Eidgenössischen Technischen Hochschule (ETH), Zürich
VIAF ID: 85204564 ( Personal )
Permalink: http://viaf.org/viaf/85204564
Preferred Forms
-
- 200 _ | ‡a Engeler ‡b Erwin ‡f 1930-....
-
- 100 1 0 ‡a Engeler, Erwin
- 100 1 _ ‡a Engeler, Erwin
-
- 100 1 _ ‡a Engeler, Erwin
-
-
-
- 100 1 _ ‡a Engeler, Erwin ‡d 1930-
- 100 1 _ ‡a Engeler, Erwin ‡d 1930-
-
-
- 100 1 _ ‡a Engeler, Erwin, ‡d 1930-....
-
- 100 0 _ ‡a Erwin Engeler ‡c Schweizer Mathematiker und Informatiker, Professor an der Eidgenössischen Technischen Hochschule (ETH), Zürich
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
Algorithmic properties of structures selected papers of Erwin Engeler | |
Berechnungstheorie für informatiker | |
combinatory programme | |
Computer-assisted legal instruction | |
Ein Einblick in der Theorie der Berechnungen | |
Formal languages; automata and structures. | |
Foundations of mathematics : questions of analysis, geometry & algorithmics | |
Generalized Galois theory and its application to complexity | |
Introduction to the theory of computation. | |
Keisan no riron nyūmon | |
Logic and algorithmic : an international symposium held in honour of Ernst Specker | |
Logic of programs : workshop, ETH Zürich, May-July 1979 | |
Logique temporelle : sémantique et validation de programmes parallèles | |
Metamathematik der Elementarmathematik | |
n82213131 | |
Oeuvres choisies | |
Structural relations between programs and problems | |
Symposium on semantics of algorithmic languages | |
Untersuchungen zur Modelltheorie | |
Метаматематика элементарной математики | |
計算の理論入門 |