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.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - George Logemann (en)
- George Logemann (pt)
|
rdfs: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. (en)
- George Wahl Logemann (Milwaukee, 31 de janeiro de 1938 – Hartford, 5 de junho de 2012) foi um matemático e cientista da computação estadunidense. Conhecido pelo algoritmo DPLL para resolver problemas de satisfatibilidade booliana. Também contribuiu para o campo da música computacional. (pt)
|
foaf:name
| - George Wahl Logemann (en)
|
name
| - George Wahl Logemann (en)
|
birth place
| |
death place
| |
death place
| |
birth place
| |
birth date
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
thesis title
| - Existence and Uniqueness of Rarefaction Waves (en)
|
thesis year
| |
dbp:wikiPageUsesTemplate
| |
alma mater
| |
birth date
| |
fields
| |
known for
| |
nationality
| |
residence
| |
has 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. (en)
- George Wahl Logemann (Milwaukee, 31 de janeiro de 1938 – Hartford, 5 de junho de 2012) foi um matemático e cientista da computação estadunidense. Conhecido pelo algoritmo DPLL para resolver problemas de satisfatibilidade booliana. Também contribuiu para o campo da música computacional. (pt)
|
doctoral advisors
| |
partner
| |
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
academic discipline
| |
alma mater
| |
known for
| |
nationality
| |
residence
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is doctoral students
of | |
is doctoral student
of | |
is foaf:primaryTopic
of | |