Types in logic programmingFrank Pfenning
Types in logic programming
Frank Pfenning · 1992
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1992
- Language
- English
- Publisher
- MIT Press
- Editions
- 1
- Pages
- 380
- ISBN
- 9780262519939
Data source: Wikidata
More by Frank Pfenning
Foundations of Software Science and Computation StructuresFrank Pfenning
Foundations of Software Science and Computation Structures
Frank Pfenning · 2013
Generative programming and component engineeringFrank Pfenning
Generative programming and component engineering
Frank Pfenning · 2003
Term Rewriting and ApplicationsFrank Pfenning
Term Rewriting and Applications
Frank Pfenning · 2006
Logic Programming and Automated ReasoningFrank Pfenning
Logic Programming and Automated Reasoning
Frank Pfenning · 1994
Automated Deduction - CADE-21Frank Pfenning
Automated Deduction - CADE-21
Frank Pfenning · 2007