Deduction methodologies /
| Other Authors: | , , , |
|---|---|
| Format: | Book |
| Published: |
Oxford:
Clarendon Pr.,
c1994
|
| Series: | Handbooks of logic in computer science and artificial intelligence and logic programming
|
| Subjects: |
| Item Description: | Reprinted 1996. |
|---|---|
| Physical Description: | xv, 511 p. ; 25 cm. |
| Bibliography: | Includes index. |
| ISBN: | 0198537468 |