
Types in Logic Programming (Logic Programming)
- List Price: $62.00
- ISBN-10: 0262161311
- ISBN-13: 9780262161312
- Edition: N/A
- Type: Hardcover
- Publisher: The MIT Press
About The Book
This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch... Read more
Related Books

- Year: 2009
- Edition: 5th
- Publisher: Mosby
- Type: Paperback
- ISBN13: 9780323054874
- ISBN: 0323054870

- Year: -0001
- Edition: 5th
- Publisher: Jones & Bartlett Learning
- Type: Paperback
- ISBN13: 9781449626501
- ISBN: 1449626505

- Year: 2004
- Edition: 1st
- Publisher: Jones & Bartlett Learning
- Type: Paperback
- ISBN13: 9780763783341
- ISBN: 076378334X