Image from Amazon.com
Instantiation theory : on the foundations of automated deduction / [by] J.G. Williams.
Series: Lecture notes in artificial intelligencePublication details: Berlin : Springer-Verlag, 1991.Description: viii, 133 p. : ill. ; 25 cmISBN:- 0387543333
| Item type | Current library | Home library | 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.A96W55 (Browse shelf(Opens below)) | 1 | Available | 00000339832 |
Includes bibliographical references (p. 128-133).
There are no comments on this title.
Log in to your account to post a comment.