Automated theorem proving in non classical logics
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/itemtypeimg/npl/Rare-Book.gif)
Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.06 THI (Browse shelf (Opens below)) | Available | 24947 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available |
![]() |
![]() |
No cover image available |
![]() |
No cover image available |
![]() |
||
681.3.06 SUB Programming for basic | 681.3.06 TAR Data structures and network algorithms | 681.3.06 TEN Data Structures using Pascal | 681.3.06 THI Automated theorem proving in non classical logics | 681.3.06 TOL Using the Internet | 681.3.06 TOU Applied automata theory | 82-3 BRO Da Vinci code |
D6,8(B) M812
There are no comments on this title.