Research Catalog

Program development in computational logic : a decade of research advances in logic-based program development

Title
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).
Publication
Berlin ; New York : Springer, 2004.

Available Online

Restricted to Springer LINK subscribers

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?
Book/TextUse in library QA76.9.L63 P76 2004gOff-site

Details

Additional Authors
  • Bruynooghe, M. (Maurice)
  • Lau, K.-K. (Kung-Kiu), 1953-
Description
viii, 538 p. : ill.; 24 cm.
Series Statement
  • Lecture notes in computer science, 0302-9743 ; 3049
  • Lecture notes in computer science. State-of-the-art survey
Uniform Title
  • Lecture notes in computer science ; 3049.
  • Lecture notes in computer science. State-of-the-art survey.
Subject
  • Logic programming
  • Computer logic
Additional Formats (note)
  • Also issued online.
ISBN
3540221522 (pbk.)
OCLC
  • ocm55807927
  • SCSB-5062249
Owning Institutions
Columbia University Libraries