Formal techniques in artificial intelligence : a sourcebook / edited by Ranan B. Banerji.
| Other author | Banerji, Ranan B., 1928- |
| Format | Book |
| Publication Info | Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1990. |
| Description | xi, 437 pages : illustrations ; 25 cm. |
| Subjects |
| Series | Studies in computer science and artificial intelligence ; 6 Studies in computer science and artificial intelligence ; 6. ^A259521 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 89023117 |
| ISBN | 0444881301 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | Q335.F674 1990 | ✔ Available | Place Hold |