Automated Reasoning: Introduction and Applications
Language: ENGLISH Publication details: 1984; Prentice HallDescription: Paper; Paper Pack; NOISBN:- 0-13-154446-9
- 681.3 WOS
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
Kumaraguru College of Technology | 681.3 WOS (Browse shelf(Opens below)) | Available | CSE | Z 10067 |
Browsing Kumaraguru College of Technology shelves Close shelf browser (Hides shelf browser)
|
|
|
No cover image available |
|
|
|
||
| 681.3 WHI How Computers work | 681.3 WIL Information Technology ;The Basis | 681.3 WIL Using Information Technology: A Practical Introduction to Computer & Communications | 681.3 WOS Automated Reasoning: Introduction and Applications | 681.3 YAD Foundations of Information Technology | 681.3(031) BAN An Encyclopeadia of Computer Terminology | 681.3(038) Microsoft Computer Dictionary |
Automated Reasoning
There are no comments on this title.
Log in to your account to post a comment.