Frank Pfenning
Author:   Kn Tr Benoit
Publisher:   Dict
ISBN:  

9786137454756


Pages:   80
Publication Date:   16 October 2011
Format:   Paperback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $124.08 Quantity:  
Add to Cart

Share |

Frank Pfenning


Add your own review!

Overview

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He received his Ph.D. from the Carnegie Mellon University Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order Logic. He was a student of Peter B. Andrews. His research includes work in the area of programming languages, logic and type theory, logical frameworks, automated deduction, and trustworthy computing. He is one of the principal authors of the Twelf system.

Full Product Details

Author:   Kn Tr Benoit
Publisher:   Dict
Imprint:   Dict
Dimensions:   Width: 15.20cm , Height: 0.50cm , Length: 22.90cm
Weight:   0.127kg
ISBN:  

9786137454756


ISBN 10:   6137454754
Pages:   80
Publication Date:   16 October 2011
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Unknown
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now