Enlarge

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

Publication Data

Title Program development in computational logic : a decade of research advances in logic-based program development
Contributors M. Bruynooghe, K.-K. Lau
Publisher Springer
Publication date 2004
Publication location Berlin
Language English

Topics

Logic programming :: Congresses

Catalogue Data

OBNB ID GBA458973
ISBN 10 3540221522
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 viii, 538 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Program development in computational logic : a decade of research advances in logic-based program development. ISBN 3540221522. Published by Springer in 2004. Publication and catalogue information, links to buy online and reader comments.