Symbolic logic and mechanical theorem proving / Chin-Lian Chang and Richard Char-Tung Lee
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0121703509
- 511.3 C454s
- QA9 .C483 1973
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
North South University Library | Non-fiction | QA9.C483 1973 (Browse shelf(Opens below)) | 1 | Available | 2778 | ||
![]() |
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 |
![]() |
||
Q336.T36 1987 The elements of artificial intelligence : | Q360.C68 2004 Elements of information theory / | Q360.C68 2004 Elements of information theory / | 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 : |
Includes index.
There are no comments on this title.
Log in to your account to post a comment.