 :/LC.GIF&client=easterncarolinaedu)
Resolution methods for the decision problem / C. Fermüller [and others].
| Other author | Fermüller, C. (Christian), 1963- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1993. |
| Description | viii, 205 pages ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 679. Lecture notes in artificial intelligence Lecture notes in computer science 679. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263 |
| General note | Includes bibliographical references (p. [198]-203) and index. |
| LCCN | 93029010 |
| ISBN | 3540567321 (Berlin : alk. paper) : |
| ISBN | 0387567321 (New York : alk. paper) : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | Q335 .R454 1993 | ✔ Available | Place Hold |