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 |
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.