Image from Amazon.com
Automated reasoning : introductions and applications / Larry Wos... (et al.)
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1984Description: 482 p. : ill.; 24 cmISBN:- 0130544469
| 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.A96A93 (Browse shelf(Opens below)) | 1 | Available | 00000274510 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.9.A93H357 2011 Information technology auditing and assurance / | 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 / |
There are no comments on this title.
Log in to your account to post a comment.