Hispanopedia WikiGeorge Wahl Logemann (31 de enero de 1938, Milwaukee , - 5 de junio de 2012, Hartford ) [2] fue un matemático y científico informático estadounidense. Se hizo conocido por el algoritmo Davis-Putnam-Logemann-Loveland para resolver problemas de satisfacibilidad booleana . [3] También contribuyó al campo de la música por computadora. [2] [4]
Referencias
- ^ George Logemann en el Proyecto de Genealogía Matemática
- ^ ab Obituario en www.legacy.com
- ^ Davis, Martin ; Logemann, George; Loveland, Donald (1962). "Un programa de máquina para la demostración de teoremas". Comunicaciones de la ACM . 5 (7): 394– 397. doi :10.1145/368273.368557. hdl : 2027/mdp.39015095248095 . S2CID 15866917.
- ^ George W. Logemann (enero de 1967). "Técnicas para la síntesis programada de música electrónica" (PDF) . Electronic Music Review (1): 44– 53.