Buy books written by Frank Pfenning Available at Bookswagon
Frank Pfenning

Frank Pfenning

Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.

16 results found
List viewGrid view
Sort By:
1.
Term Rewriting and Applications
No Review Yet
$70
Binding:
Paperback
Release:
26 Jul 2006
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
2.
Generative Programming and Component Engineering
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
3.
Foundations of Software Science and Computation Structures
No Review Yet
$70
Binding:
Paperback
Release:
20 Feb 2013
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
4.
Automated Deduction - CADE-21
No Review Yet
$70
Binding:
Paperback
Release:
05 Jul 2007
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
5.
Logic Programming and Automated Reasoning
No Review Yet
$79
Binding:
Paperback
Release:
22 Jun 1994
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
6.
Foundations of Software Science and Computation Structures
No Review Yet
$73
Binding:
Paperback
Release:
16 Feb 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Computation and Deduction
No Review Yet
$50
Binding:
Hardback
Release:
01 Jun 2020
Out of Stock
Notify me when this book is in stockNotify Me
8.
Logic Programming and Automated Reasoning
Publisher: Springer
No Review Yet
$91
Binding:
Digital (delivered electronically)
Release:
01 Aug 1994
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Generative Programming and Component Engineering
Publisher: Springer
No Review Yet
$81
Binding:
Digital (delivered electronically)
Release:
01 Aug 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Logic Programming and Automated Reasoning
Publisher: Springer
No Review Yet
$29
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
11.
Generative Programming and Component Engineering
Publisher: Springer
No Review Yet
$29
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
12.
Automated Deduction - Cade-21
Publisher: Springer
No Review Yet
$29
Binding:
Paperback
Release:
26 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
13.
Types in Logic Programming
Publisher: MIT Press Ltd
No Review Yet
$61
Binding:
Hardback
Release:
12 Jun 1992
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Types in Logic Programming
Publisher: MIT Press Ltd
No Review Yet
$22
Binding:
Paperback
Release:
12 Jun 1992
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Logic Programming and Automated Reasoning
Publisher: Springer
No Review Yet
$17
Binding:
Paperback
Release:
01 Jun 1994
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Term Rewriting and Applications
Publisher: Springer
No Review Yet
$8
Binding:
Paperback
Release:
31 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
Your IP: 216.73.216.54 216.73.216.54 US