A review of several programs for the support of logics/
| Main Author: | |
|---|---|
| Corporate Authors: | , |
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
London:
University of London,
1991
|
| Series: | Technical report / University of London. Queen Mary and Westfield College. Department of Computer Science ;
548 |
| Subjects: |
| Physical Description: | 33 p. : tabs ; 30 cm. |
|---|---|
| Bibliography: | Includes bibliographical references |