Logic programming'88 : proceedings of the 7th Conference, Tokyo, April 11-14, 1988 / K. Furukawa, H. Tanaka, T. Fujisaki
Series: Lecture notes in computer science Lecture notes in artificial intelligence ; 383Publication details: Berlin : Springer-Verlag, 1989.Description: 251 p. : ill. ; 25 cmISBN:- 354051564X
| 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.63.L63 (Browse shelf(Opens below)) | 1 | Available | 00000254915 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.63.F378 2004 Programming logic and design : introductory / | QA76.63.H537 Mathematical aspects of logic programming semantics / | QA76.63.L618 Logic, algebra, and computation : International Summer School / | QA76.63.L63 Logic programming`88 : proceedings of the 7th Conference, Tokyo, April 11-14, 1988 / | QA76.63.P464 Pengaturcaraan logik / | QA76.63.P58 Termination proofs for logic programs/ | QA76.63.W658 The clausal theory of types / |
1
There are no comments on this title.
Log in to your account to post a comment.
