Types in Logic Programming - Softcover

 
9780262519939: Types in Logic Programming
Softcover
ISBN 10: 0262519933 ISBN 13: 9780262519939
Publisher: MIT Press, 1992

Synopsis

This collection of original research papers assesses and summarizes the impact of types on logic programming.

"synopsis" may belong to another edition of this title.

About the Author

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

"About this title" may belong to another edition of this title.

Publisher
MIT Press
Publication date
1992
Language
English
ISBN 10 
0262519933
ISBN 13 
9780262519939
Binding
Paperback
Number of pages
380
Editor
Pfenning Frank

Other Popular Editions of the Same Title

9780262161312: Types in Logic Programming (Logic Programming)

Featured Edition

ISBN 10:  0262161311 ISBN 13:  9780262161312
Publisher: Mit Pr, 1992
Hardcover