
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: 2001
- Edition: 7th
- Publisher: Prentice Hall
- Type: Hardcover
- ISBN13: 9780137009169
- ISBN: 013700916X

- Year: 2004
- Edition: 3rd
- Publisher: CRC Press
- Type: Hardcover
- ISBN13: 9780849379987
- ISBN: 0849379989

- Year: -0001
- Edition: 3rd
- Publisher: Jones & Bartlett Learning
- Type: Paperback
- ISBN13: 9780763763817
- ISBN: 0763763810