Automated theorem proving : a logical basis Donald W. Loveland
Material type:
TextPublication details: New York : North-Holland Publishing Company, 1978. Description: xii,405p. : ill. ; 23cmISBN: - 0-7204-0499-1
- QA76.A96L68
No PDF attached
| 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 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Book | UDSM Library | Science and Engineering Collection | QA76.A96L68 (Browse shelf(Opens below)) | Available | 000000008734 |
Total holds: 0
Browsing Directorate of Library Services (UDSM) shelves,Collection: Science and Engineering Collection Close shelf browser (Hides shelf browser)
| QA76.A6 Analogue and digital computers | QA76.A656 Computers and the cybernetic society | QA76.A67 Applications of flower pollination algorithm and its variants | QA76.A96L68 Automated theorem proving : a logical basis | QA76.B3 Digital computer fundamentals | QA76.B3 Digital computer fundamentals | QA76.B3J62 2007 Microsoft visual basic 2005 : reloaded advanced |
Includes bibliography
There are no comments on this title.
Log in to your account to post a comment.