George Logemann
| George Logemann | |
|---|---|
| Nascimento | 31 de janeiro de 1938 Milwaukee |
| Morte | 5 de junho de 2012 Hartford |
| Residência | West Hartford |
| Cidadania | Estados Unidos |
| Alma mater | |
| Ocupação | cientista de computação, matemático |
| Orientador(a)(es/s) | Peter Lax e Robert Richtmyer |
George Wahl Logemann (Milwaukee, 31 de janeiro de 1938 – Hartford, 5 de junho de 2012)[1] foi um matemático e cientista da computação estadunidense. Conhecido pelo algoritmo DPLL para resolver problemas de satisfatibilidade booliana.[2] Também contribuiu para o campo da música computacional.[1][3]
Referências
- ↑ a b Obituary at www.legacy.com
- ↑ Davis, Martin; Logemann, George; Loveland, Donald (1962). «A Machine Program for Theorem Proving». Communications of the ACM. 5 (7): 394–397. doi:10.1145/368273.368557
- ↑ George W. Logemann (Jan 1967). «Techniques for Programmed Electronic Music Synthesis» (PDF). Electronic Music Review (1): 44—53
