Logic for computer science and artificial intelligence / Ricardo Caferra.
Material type:
- text
- unmediated
- volume
- 9781848213012
- 1848213018
- QA76.9.L63 .C33 2011
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA76.9.L63 .C33 2011 (Browse shelf(Opens below)) | Available | 1000283509 | ||
Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA76.9.L63 .C33 2011 (Browse shelf(Opens below)) | Available | 1000283508 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
QA76.9.I58 .I58 2007 Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers / | QA76.9.K48 .H63 2002 Century 21 computer applications and keyboarding / | QA76.9.L63 .C33 2011 Logic for computer science and artificial intelligence / | QA76.9.L63 .C33 2011 Logic for computer science and artificial intelligence / | QA76.9.L63 .C65 2008 Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / | QA76.9.L63 .L56 2003 Logic for learning : learning comprehensive theories from structured data / | QA76.9.L63 .N57 1999 Introductory logic and sets for computer scientists / |
3
There are no comments on this title.
Log in to your account to post a comment.