Image from Amazon.com
A computational logic handbook / Robert J. Boyer, J. Strother Moore
Publication details: Boston, Mass. : Academic Press, 1988Description: xvi, (410) p. ; 24 cmISBN:- 0121229521
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | QA76.9.A96B684 (Browse shelf(Opens below)) | 1 | Available | 00000273765 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.9.A93P53 pasca Auditing information systems / | QA76.9.A94 .N837 Pembelajaran interaktif augmentasi realiti berpaksikan pengalaman / | QA76.9.A96A93 Automated reasoning : introductions and applications / | QA76.9.A96B684 A computational logic handbook / | QA76.9.A96G35 Logic for computer science : foundations of automatic theorem proving / | QA76.9.A96W55 Instantiation theory : on the foundations of automated deduction / | QA76.9.A96W67 Automated reasoning : 33 basic research problems / |
Bibliography: p.397-399
There are no comments on this title.
Log in to your account to post a comment.