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

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Book/text	Request in advance	JSE 04-1350	Offsite

Details

Additional Authors

Description

viii, 538 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 3049
Lecture notes in computer science.

Subject

Additional Formats (note)

Also issued online.

Call Number

JSE 04-1350

ISBN

3540221522 (pbk.)

OCLC

55807927

Title

Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

Imprint

Berlin ; New York : Springer, 2004.

Series

Lecture notes in computer science, 0302-9743 ; 3049

Lecture notes in computer science. State-of-the-art survey

Additional Formats

Also issued online.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Bruynooghe, M. (Maurice)

Lau, K.-K. (Kung-Kiu), 1953-

Research Call Number

JSE 04-1350

View in Legacy Catalog