Items related to Types in Logic Programming

Types in Logic Programming ISBN 13: 9780262519939

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.

  • PublisherMIT Press
  • Publication date1992
  • ISBN 10 0262519933
  • ISBN 13 9780262519939
  • BindingPaperback
  • LanguageEnglish
  • Number of pages380
  • EditorPfenning Frank

Buy New

View this item
9780262519939: Types in Logic Programming
US$ 57.61

Convert currency

US$ 13.55 shipping from United Kingdom to U.S.A.

Destination, rates & speeds
Free 30-day returns

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

Search results for Types in Logic Programming

Stock Image

Frank Pfenning
Published by MIT Press, 1992
ISBN 10: 0262519933 ISBN 13: 9780262519939
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 380 pages. 8.90x7.20x1.00 inches. In Stock. Seller Inventory # zk0262519933

Contact seller

Buy New

US$ 57.61
Convert currency
Shipping: US$ 13.55
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket