Erwin Engeler
Erwin Engeler (born 13 February 1930) is a Swiss mathematician who did pioneering work on the interrelations between logic, computer science and scientific computation in the 20th century. He was one of Paul Bernays' students at the ETH Zürich.After completing his doctorate in 1958, Engeler spent fourteen years in the United States, teaching at the University of Minnesota and at the University of California, Berkeley. In 1959 he contributed an independent proof of several equivalent conditions to omega-categoricity, an important concept in model theory. He returned to Switzerland in 1972, where he served as a professor of logic and computer science at the ETH until his retirement in 1997.
Engeler was named a Fellow of the Association for Computing Machinery in 1995. Provided by Wikipedia
Showing 1 - 10 results of 10 for search 'Engeler, Erwin', query time: 0.15s
Refine Results
-
1
-
2
-
3
-
4
-
5by Engeler, Erwin
Published 1995Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
6by Engeler, Erwin
Published 1993Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
7Published 1971Other Authors: “...Engeler, Erwin...”
Call Number: Loading...
Located:Loading...Book Loading... -
8Published 1981Other Authors: “...Engeler, Erwin...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
9Published 1995Other Authors: “...Engeler, Erwin...”
Call Number: Loading...
Located:Loading...Book Loading... -
10Published 1971Other Authors: “...Engeler, Erwin...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Formal languages
Programming languages (Electronic computers)
Algorithms
Computer algorithms
Logic, Symbolic and mathematical
Mathematics
Algorithmes
Algorithmische Programmiersprache
Combinatorial analysis
Combinatory logic
Computer programs
Computer science
Data structures (Computer science)
Formale Methode
Galois theory
Geometry
Global analysis (Mathematics)
Kongress
Langages de programmation
Langages formels
Logik
Logique symbolique et mathématique
Machine theory
Metamathematics
Numerical analysis
PAL
Programmation (Mathématiques)
Programmeurs
Programmiersprache
Programmierung