Automated theorem proving in non classical logics
Material type: TextCurrent 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 |
D6,8(B) M812
There are no comments on this title.