Research Catalog

Types in logic programming

Title
Types in logic programming / edited by Frank Pfenning.
Publication
Cambridge, Mass. : MIT Press, [1992], ©1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.63 .T94 1992Off-site

Holdings

Details

Additional Authors
Pfenning, Frank.
Description
xviii, 357 pages; 23 cm.
Series Statement
Logic programming
Uniform Title
Logic programming.
Subject
Logic programming
Bibliography (note)
  • Includes bibliographical references (p. 333-350) and index.
ISBN
0262161311
LCCN
92013988
OCLC
  • 25872161
  • ocm25872161
Owning Institutions
Columbia University Libraries