Image from Amazon.com
Termination proofs for logic programs/ Lutz Plumer.
Series: Lecture Notes in Artificial Intelligence ; 446Publication details: Berlin Springer-Verlag 1990.Description: 142 p. : ill. ; 25 cmISBN:- 3540528377
| 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.63.P58 (Browse shelf(Opens below)) | 1 | Available | 00000274355 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 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 / | QA76.635.S44 Microprogramming and computer architecture / | QA76.64 .B35 Object-oriented design for C++ / |
Revised version of author's thesis
Includes bibliographical references (p.(132)-139 and index
There are no comments on this title.
Log in to your account to post a comment.