 :/LC.GIF&client=easterncarolinaedu)
Computational aspects of an order-sorted logic with term declarations / M. Schmidt-Schauss.
| Author/creator | Schmidt-Schauss, M. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1989. |
| Description | viii, 171 pages ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science. Lecture notes in artificial intelligence Lecture notes in computer science ; 395 Lecture notes in computer science 395. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263 |
| General note | Includes index. |
| Bibliography note | Includes bibliographical references. |
| Other title | Order-sorted logic with term declarations. |
| LCCN | 89021790 |
| ISBN | 0387517057 (U.S. : alk. paper) : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA9.S343 1989 | ✔ Available | Place Hold |