Logic program synthesis from incomplete information : by Pierre Flener.

Bibliographic Details
Main Author: Flener, Pierre, 1964-
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [1995]
Series:Kluwer international series in engineering and computer science ; SECS 295.
Subjects:
Description
Physical Description:xviii, 242 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [219]-234) and index.
ISBN:0792395328 (acid-free paper)