Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Erwin_Engeler> ?p ?o. }
Showing items 1 to 56 of
56
with 100 items 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 viafId "85204564".
- Erwin_Engeler wikiPageExternalLink books?id=ceQELfMVEOkC.
- Erwin_Engeler wikiPageExternalLink ~engeler.
- Erwin_Engeler wikiPageID "12279301".
- Erwin_Engeler wikiPageRevisionID "577976772".
- Erwin_Engeler dateOfBirth "1930-02-13".
- Erwin_Engeler hasPhotoCollection Erwin_Engeler.
- Erwin_Engeler name "Engeler, Erwin".
- Erwin_Engeler shortDescription "Swiss mathematician".
- 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 type Associate109816771.
- Erwin_Engeler type CausalAgent100007347.
- Erwin_Engeler type Colleague109935990.
- Erwin_Engeler type FellowsOfTheAssociationForComputingMachinery.
- Erwin_Engeler type LivingPeople.
- Erwin_Engeler type LivingThing100004258.
- Erwin_Engeler type Mathematician110301261.
- Erwin_Engeler type Object100002684.
- Erwin_Engeler type Organism100004475.
- Erwin_Engeler type Peer109626238.
- Erwin_Engeler type Person100007846.
- Erwin_Engeler type PhysicalEntity100001930.
- Erwin_Engeler type Scientist110560637.
- Erwin_Engeler type SwissMathematicians.
- Erwin_Engeler type Whole100003553.
- Erwin_Engeler type YagoLegalActor.
- Erwin_Engeler type YagoLegalActorGeo.
- Erwin_Engeler type Agent.
- Erwin_Engeler type Person.
- Erwin_Engeler type Person.
- Erwin_Engeler type Q215627.
- Erwin_Engeler type Q5.
- Erwin_Engeler type Agent.
- Erwin_Engeler type NaturalPerson.
- Erwin_Engeler type Thing.
- 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 m.02vyqyf.
- Erwin_Engeler sameAs Q5396118.
- Erwin_Engeler sameAs Q5396118.
- Erwin_Engeler sameAs Erwin_Engeler.
- Erwin_Engeler wasDerivedFrom Erwin_Engeler?oldid=577976772.
- Erwin_Engeler givenName "Erwin".
- Erwin_Engeler isPrimaryTopicOf Erwin_Engeler.
- Erwin_Engeler name "Engeler, Erwin".
- Erwin_Engeler name "Erwin Engeler".
- Erwin_Engeler surname "Engeler".