Frank Pfenning (Q15487688): Preview

Frank Pfenning (Q15487688)
American computer scientist

Language:

Current Data About Frank Pfenning

(P18)

Image Provided By https://upload.wikimedia.org/wikipedia/commons/8/89/Frank_Pfenning.jpg

(P19)

(Q4031)

(P143)
(P4656)	https://en.wikipedia.org/w/index.php?title=Frank_Pfenning&oldid=1117942054

(P21)

(Q6581097)

(P887)

(P31)

(Q5)

(P143)

(P69)

(Q190080)

(P248)

(P106)

(Q81096)

(Q82594)

(P108)

(Q190080)

(P143)

(P166)

(Q18748039)

(P585)	+2015-00-00T00:00:00Z
(P6949)	Tuesday, December 8, 2015
(P6208)	"For contributions to the logical foundations of automatic theorem proving and types for programming languages" (language: en)

(P854)	https://www.acm.org/media-center/2015/december/fellows-2015
(P813)	Monday, June 24, 2024

(P184)

(Q7172598)

(P248)

(P185)

(Q50484386)

(P248)

(Q91233)

(P248)

(Q102196239)

(P248)

(Q102209542)

(P248)

(Q102215066)

(P248)

(Q102215428)

(P248)

(Q102215431)

(P248)

(Q102215435)

(P248)

(Q102215437)

(P248)

(Q102215441)

(P248)

(Q102229168)

(P248)

(Q102249032)

(P248)

(Q102249033)

(P248)

(Q102267317)

(P248)

(Q102270856)

(P248)

(Q102272990)

(P248)

(Q102272991)

(P248)

(Q102301614)

(P248)

(Q102315534)

(P248)

(Q102351004)

(P248)

(Q102354044)

(P248)

(Q102368738)

(P248)

(Q102389223)

(P248)

(Q102389226)

(P248)

(Q102389229)

(P248)

(Q102395702)

(P248)

(Q102402836)

(P248)

(Q59998446)

(P248)

(Q102433377)

(P248)

(Q102468106)

(P248)

(Q102844926)

(P248)

(P463)

(Q127992)

(P580)	Tuesday, December 8, 2015
(P2868)

(P854)	https://www.acm.org/media-center/2015/december/fellows-2015
(P813)	Monday, June 24, 2024

(P569)

+2000-00-00T00:00:00Z

(P734)

(Q37501179)

(P887)

(P735)

(Q220546)

(P1545)	1

(P887)

(P856)

https://www.cs.cmu.edu/~fp/

(P6104)

(Q8487137)

other details

description	American computer scientist

External Links

(P213)	0000000117626446
(P214)	49903263
(P244)	n92042123
(P269)	077921534
(P271)	DA06587365
(P496)	0000-0002-8279-5817
(P549)	41491
(P646)	/m/0g2vxr
(P691)	xx0053469
(P864)	81100157780
(P1005)	1632744
(P1006)	255176252
(P1015)	90610957
(P1207)	n98097591
(P1556)	pfenning.frank
(P1960)	ghWKWBUAAAAJ
(P2456)	p/FPfenning
(P3065)	02-A003689261
(P4215)	Frank Pfenning
(P4955)	216784
(P8179)	ncf11253778
(P8189)	987007432380705171
(P10832)	E39PBJbCVgJqHMjYPtWPFmBpT3
(P11249)	14243775
(P11496)	1140282266711304192