Symbolic logic and mechanical theorem proving / Chin-Lian Chang and Richard Char-Tung Lee
Material type: TextLanguage: English Series: Publication details: Boston : Academic Press, c1973.Description: xiii,331 p. : ill. ; 23 cmISBN:- 0121703509
- 511.3 C454s
- QA9 .C483 1973
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Books | North South University Library | Non-fiction | QA9.C483 1973 (Browse shelf(Opens below)) | 1 | Available | 2778 | ||
Books | North South University Library | Non-fiction | QA9.C483 1973 (Browse shelf(Opens below)) | 2 | Available | 24925 |
Browsing North South University Library shelves, Collection: Non-fiction Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
Q360.C68 2004 Elements of information theory / | QA7.W67 1956 The world of mathematics / | QA9.C483 1973 Symbolic logic and mechanical theorem proving / | QA9.C483 1973 Symbolic logic and mechanical theorem proving / | QA9.H87 1994 উচ্চ মাধ্যমিক বীজগনিত, ক্যালকুলাস ও জনমিতি ( Uchcho maddhomik bijgonit, calculus o jonomiti ) / | QA9.R777 2013 Thinking in problems : | QA9.58.B73 1996 Fundamentals of algorithmics / |
Includes index.
There are no comments on this title.
Log in to your account to post a comment.