Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam ; New York :
Elsevier,
1996.
|
| Series: | Studies in computer science and artificial intelligence ;
13. |
| Subjects: |
| Physical Description: | xiii, 329 pages : illustrations ; 25 cm. |
|---|---|
| Bibliography: | Includes bibliographical references (pages 311-317) and indexes. |
| ISBN: | 0444816445 (acid-free paper) |