Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Erwin_Engeler> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples per page.
- Erwin_Engeler abstract "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-categorical theories, 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.".
- Erwin_Engeler birthDate "1930-02-13".
- Erwin_Engeler birthYear "1930".
- Erwin_Engeler wikiPageExternalLink books?id=ceQELfMVEOkC.
- Erwin_Engeler wikiPageExternalLink ~engeler.
- Erwin_Engeler wikiPageID "12279301".
- Erwin_Engeler wikiPageLength "1817".
- Erwin_Engeler wikiPageOutDegree "16".
- Erwin_Engeler wikiPageRevisionID "659899032".
- Erwin_Engeler wikiPageWikiLink Association_for_Computing_Machinery.
- Erwin_Engeler wikiPageWikiLink Category:1930_births.
- Erwin_Engeler wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Erwin_Engeler wikiPageWikiLink Category:Living_people.
- Erwin_Engeler wikiPageWikiLink Category:Swiss_mathematicians.
- Erwin_Engeler wikiPageWikiLink Computational_science.
- Erwin_Engeler wikiPageWikiLink Computer_science.
- Erwin_Engeler wikiPageWikiLink ETH_Zurich.
- Erwin_Engeler wikiPageWikiLink Logic.
- Erwin_Engeler wikiPageWikiLink Model_theory.
- Erwin_Engeler wikiPageWikiLink Omega-categorical_theory.
- Erwin_Engeler wikiPageWikiLink Paul_Bernays.
- Erwin_Engeler wikiPageWikiLink Switzerland.
- Erwin_Engeler wikiPageWikiLink University_of_California,_Berkeley.
- Erwin_Engeler wikiPageWikiLink University_of_Minnesota.
- Erwin_Engeler wikiPageWikiLinkText "Engeler".
- Erwin_Engeler wikiPageWikiLinkText "Engeler, Erwin".
- Erwin_Engeler wikiPageWikiLinkText "Erwin Engeler".
- Erwin_Engeler dateOfBirth "1930-02-13".
- Erwin_Engeler name "Engeler, Erwin".
- Erwin_Engeler shortDescription "Swiss mathematician".
- Erwin_Engeler wikiPageUsesTemplate Template:Authority_control.
- Erwin_Engeler wikiPageUsesTemplate Template:Cite_book.
- Erwin_Engeler wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Erwin_Engeler wikiPageUsesTemplate Template:MathGenealogy.
- Erwin_Engeler wikiPageUsesTemplate Template:Persondata.
- Erwin_Engeler wikiPageUsesTemplate Template:Switzerland-scientist-stub.
- Erwin_Engeler description "Swiss mathematician".
- Erwin_Engeler description "Swiss mathematician".
- Erwin_Engeler subject Category:1930_births.
- Erwin_Engeler subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Erwin_Engeler subject Category:Living_people.
- Erwin_Engeler subject Category:Swiss_mathematicians.
- Erwin_Engeler hypernym Mathematician.
- Erwin_Engeler type Agent.
- Erwin_Engeler type List.
- Erwin_Engeler type Person.
- Erwin_Engeler type Scientist.
- Erwin_Engeler type Person.
- Erwin_Engeler type List.
- Erwin_Engeler type Mathematician.
- Erwin_Engeler type Member.
- Erwin_Engeler type Scientist.
- Erwin_Engeler type Agent.
- Erwin_Engeler type NaturalPerson.
- Erwin_Engeler type Thing.
- Erwin_Engeler type Q215627.
- Erwin_Engeler type Q5.
- Erwin_Engeler type Person.
- Erwin_Engeler comment "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.".
- Erwin_Engeler label "Erwin Engeler".
- Erwin_Engeler sameAs Q5396118.
- Erwin_Engeler sameAs m.02vyqyf.
- Erwin_Engeler sameAs Q5396118.
- Erwin_Engeler wasDerivedFrom Erwin_Engeler?oldid=659899032.
- Erwin_Engeler givenName "Erwin".
- Erwin_Engeler isPrimaryTopicOf Erwin_Engeler.
- Erwin_Engeler name "Engeler, Erwin".
- Erwin_Engeler name "Erwin Engeler".
- Erwin_Engeler surname "Engeler".