George Logemann
Source đź“ť
25:
414:
274:
494:
474:
455:
504:
89:
479:
61:
68:
108:
448:
42:
75:
499:
315:
278:
46:
301:
57:
509:
328:
441:
341:
173:
35:
387:
250:
82:
489:
484:
8:
429:
183:
368:
332:
336:
273:) was an American mathematician and computer scientist. He became well known for the
372:
363:
358:
350:
241:
218:
246:
425:
193:
468:
421:
297:
354:
327:
266:
144:
24:
270:
162:
413:
225:
388:"Techniques for Programmed Electronic Music Synthesis"
281:. He also contributed to the field of computer music.
49:. Unsourced material may be challenged and removed.
385:
466:
231:Existence and Uniqueness of Rarefaction Waves
449:
311:
309:
456:
442:
362:
306:
109:Learn how and when to remove this message
275:Davis–Putnam–Logemann–Loveland algorithm
337:"A Machine Program for Theorem Proving"
467:
495:20th-century American mathematicians
475:21st-century American mathematicians
408:
47:adding citations to reliable sources
18:
13:
14:
521:
412:
23:
386:George W. Logemann (Jan 1967).
279:Boolean satisfiability problems
34:needs additional citations for
379:
321:
291:
1:
505:Mathematicians from Wisconsin
302:Mathematics Genealogy Project
284:
480:American computer scientists
428:. You can help Knowledge by
7:
10:
526:
407:
342:Communications of the ACM
256:
240:
224:
214:
207:
199:
189:
179:
169:
151:
130:
123:
395:Electronic Music Review
364:2027/mdp.39015095248095
251:Robert Davis Richtmyer
16:American mathematician
500:People from Milwaukee
420:This article about a
355:10.1145/368273.368557
331:; Logemann, George;
263:George Wahl Logemann
125:George Wahl Logemann
43:improve this article
510:Mathematician stubs
203:Bernice C. Schaefer
184:New York University
265:(31 January 1938,
437:
436:
318:at www.legacy.com
269:, – 5 June 2012,
260:
259:
242:Doctoral advisors
209:Scientific career
119:
118:
111:
93:
58:"George Logemann"
517:
458:
451:
444:
416:
409:
399:
398:
392:
383:
377:
376:
366:
333:Loveland, Donald
325:
319:
313:
304:
295:
236:
219:Computer science
158:
141:January 31, 1938
140:
138:
121:
120:
114:
107:
103:
100:
94:
92:
51:
27:
19:
525:
524:
520:
519:
518:
516:
515:
514:
465:
464:
463:
462:
405:
403:
402:
390:
384:
380:
326:
322:
314:
307:
298:George Logemann
296:
292:
287:
247:Peter David Lax
234:
180:Alma mater
165:
160:
156:
147:
142:
136:
134:
126:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
523:
513:
512:
507:
502:
497:
492:
487:
482:
477:
461:
460:
453:
446:
438:
435:
434:
417:
401:
400:
378:
349:(7): 394–397.
320:
305:
289:
288:
286:
283:
258:
257:
254:
253:
244:
238:
237:
228:
222:
221:
216:
212:
211:
205:
204:
201:
197:
196:
194:DPLL algorithm
191:
190:Known for
187:
186:
181:
177:
176:
171:
167:
166:
161:
159:(aged 74)
153:
149:
148:
143:
132:
128:
127:
124:
117:
116:
31:
29:
22:
15:
9:
6:
4:
3:
2:
522:
511:
508:
506:
503:
501:
498:
496:
493:
491:
488:
486:
483:
481:
478:
476:
473:
472:
470:
459:
454:
452:
447:
445:
440:
439:
433:
431:
427:
423:
422:mathematician
418:
415:
411:
410:
406:
396:
389:
382:
374:
370:
365:
360:
356:
352:
348:
344:
343:
338:
334:
330:
329:Davis, Martin
324:
317:
312:
310:
303:
299:
294:
290:
282:
280:
276:
272:
268:
264:
255:
252:
248:
245:
243:
239:
232:
229:
227:
223:
220:
217:
213:
210:
206:
202:
198:
195:
192:
188:
185:
182:
178:
175:
172:
168:
164:
154:
150:
146:
133:
129:
122:
113:
110:
102:
99:December 2015
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
430:expanding it
419:
404:
394:
381:
346:
340:
323:
293:
262:
261:
230:
208:
157:(2012-06-05)
155:June 5, 2012
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
490:2012 deaths
485:1938 births
397:(1): 44–53.
174:US American
170:Nationality
469:Categories
285:References
137:1938-01-31
69:newspapers
277:to solve
267:Milwaukee
145:Milwaukee
373:15866917
335:(1962).
316:Obituary
271:Hartford
163:Hartford
300:at the
200:Partner
83:scholar
371:
235:(1965)
233:
226:Thesis
215:Fields
85:
78:
71:
64:
56:
424:is a
391:(PDF)
369:S2CID
90:JSTOR
76:books
426:stub
152:Died
131:Born
62:news
359:hdl
351:doi
45:by
471::
393:.
367:.
357:.
345:.
339:.
308:^
249:,
457:e
450:t
443:v
432:.
375:.
361::
353::
347:5
139:)
135:(
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
↑