Frank Pfenning

Frank Pfenning

Frank Pfenning is a Joseph F. Traub Professor of Computer Science Head, Department of Computer ScienceSchool of Computer Science Carnegie Mellon University. His research interests are Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, and Trustworthy Computing.

Back to all authors

Books Authored by Frank Pfenning

Automated Theorem Proving

Post date: 12 Mar 2007
Gives students a thorough understanding of the central techniques in automated theorem proving, enabling them to transfer methods to different logics or applications.
Publication date: 20 Jan 2004
 
Automated Theorem Proving

Automated Theorem Proving

Post date: 12 Mar 2007
Gives students a thorough understanding of the central techniques in automated theorem proving, enabling them to transfer methods to different logics or applications.
Publication date: 20 Jan 2004


Book Categories
Sponsors
Icons8, a free icon pack