Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/George_Logemann> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- George_Logemann abstract "George Wahl Logemann (31 January, 1938, Milwaukee, – 5 June 2012, Hartford) was an American mathematician and computer scientist. He became well-known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems. He also contributed to the field of computer music.".
- George_Logemann almaMater New_York_University.
- George_Logemann birthDate "1938-01-31".
- George_Logemann birthPlace Milwaukee.
- George_Logemann deathPlace Hartford,_Connecticut.
- George_Logemann field Computer_science.
- George_Logemann knownFor DPLL_algorithm.
- George_Logemann nationality United_States.
- George_Logemann residence West_Hartford,_Connecticut.
- George_Logemann wikiPageID "48760367".
- George_Logemann wikiPageLength "3025".
- George_Logemann wikiPageOutDegree "17".
- George_Logemann wikiPageRevisionID "706354247".
- George_Logemann wikiPageWikiLink Boolean_satisfiability_problem.
- George_Logemann wikiPageWikiLink Category:1938_births.
- George_Logemann wikiPageWikiLink Category:2012_deaths.
- George_Logemann wikiPageWikiLink Category:American_computer_scientists.
- George_Logemann wikiPageWikiLink Category:American_mathematicians.
- George_Logemann wikiPageWikiLink Computer_science.
- George_Logemann wikiPageWikiLink DPLL_algorithm.
- George_Logemann wikiPageWikiLink Hartford,_Connecticut.
- George_Logemann wikiPageWikiLink Milwaukee.
- George_Logemann wikiPageWikiLink New_York_University.
- George_Logemann wikiPageWikiLink Peter_Lax.
- George_Logemann wikiPageWikiLink Robert_D._Richtmyer.
- George_Logemann wikiPageWikiLink United_States.
- George_Logemann wikiPageWikiLink West_Hartford,_Connecticut.
- George_Logemann wikiPageWikiLinkText "George Logemann".
- George_Logemann wikiPageWikiLinkText "Logemann, George".
- George_Logemann almaMater New_York_University.
- George_Logemann birthDate "1938-01-31".
- George_Logemann birthPlace Milwaukee.
- George_Logemann deathPlace Hartford,_Connecticut.
- George_Logemann doctoralAdvisors Peter_Lax.
- George_Logemann doctoralAdvisors Robert_D._Richtmyer.
- George_Logemann fields Computer_science.
- George_Logemann knownFor DPLL_algorithm.
- George_Logemann name "George Wahl Logemann".
- George_Logemann nationality United_States.
- George_Logemann partner "Bernice C. Schaefer".
- George_Logemann residence West_Hartford,_Connecticut.
- George_Logemann thesisTitle "Existence and Uniqueness of Rarefaction Waves".
- George_Logemann thesisYear "1965".
- George_Logemann wikiPageUsesTemplate Template:Birth_date.
- George_Logemann wikiPageUsesTemplate Template:Death_date_and_age.
- George_Logemann wikiPageUsesTemplate Template:Infobox_scientist.
- George_Logemann wikiPageUsesTemplate Template:Mathematician-stub.
- George_Logemann wikiPageUsesTemplate Template:More_references.
- George_Logemann wikiPageUsesTemplate Template:PhDTree.
- George_Logemann wikiPageUsesTemplate Template:Reflist.
- George_Logemann subject Category:1938_births.
- George_Logemann subject Category:2012_deaths.
- George_Logemann subject Category:American_computer_scientists.
- George_Logemann subject Category:American_mathematicians.
- George_Logemann hypernym Mathematician.
- George_Logemann type Agent.
- George_Logemann type Person.
- George_Logemann type Scientist.
- George_Logemann type Person.
- George_Logemann type Agent.
- George_Logemann type NaturalPerson.
- George_Logemann type Thing.
- George_Logemann type Q215627.
- George_Logemann type Q5.
- George_Logemann type Q901.
- George_Logemann type Person.
- George_Logemann comment "George Wahl Logemann (31 January, 1938, Milwaukee, – 5 June 2012, Hartford) was an American mathematician and computer scientist. He became well-known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems. He also contributed to the field of computer music.".
- George_Logemann label "George Logemann".
- George_Logemann sameAs Q21818065.
- George_Logemann sameAs Q21818065.
- George_Logemann wasDerivedFrom George_Logemann?oldid=706354247.
- George_Logemann isPrimaryTopicOf George_Logemann.
- George_Logemann name "George Wahl Logemann".