Logic for Computer Science: Foundations of Automatic Theorem Proving /
Material type:
TextLanguage: English Publication details: New York-10158 : John Wiley & Sons, Inc. , 1987Edition: 1st edDescription: p511ISBN: 0-471-61546-3Subject(s): Computer ScienceColon classification: Bv:(R1)
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | Central Library Manipur University | Bv:(R1) M7 (Browse shelf (Opens below)) | Available | 1711/Phy |
Browsing Central Library Manipur University shelves, Shelving location: MANI-795003 Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| BV Q5 Cloud computing / | BV(Q6) N6 Microsoft: Foundation class 4 bible / | Bv(R) N4 Mathematics: A Concise History and Philosophy / | Bv:(R1) M7 Logic for Computer Science: Foundations of Automatic Theorem Proving / | BV:(R1) N7 Handbook of logic and language / | BV(S:72) M4 Artificial intelligence / | Bv:(S:72)p1,N83 M4 Robotics and Artifical Intelligence / |
There are no comments on this title.