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 |