Normal view
MARC view
Automated reasoning introduction and applications Larry Wos, Ross Overbeek, Ewing Lusk [a. o.]
Material type: TextPublication details: Englewood Cliffs Prentice-Hall 1984Description: XIV, 482 p. illISBN: 0130544531; 0130544469 (pbk.)Subject(s): Automatic theorem proving | Artificial intelligence | Computer programmingDDC classification: 001.53/5 LOC classification: QA76.9.A96 | A93 1984Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-519604 (Browse shelf(Opens below)) | Available | 13820000991723 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.