Shelfclass_id |
4.B.5 |
Sortkey |
PLÜMER, LUTZ |
Authors |
Lutz Plümer |
Title |
Termination Proofs for Logic Programs |
Publisher |
Springer Pub. Co. |
Year |
c1990 |
Languages |
eng |
Isbn |
0387528377, 3540528377 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
446 |
Issn |
0302-9743 |
Description |
(Berlin: acid-free paper) (New York: acid-free paper) viii, 142 p. ill. 25 cm |
Record date |
20060713 |
Location |
New York |
Keywords |
Logic programming, Artificial intelligence |
Notes |
Rev. version of author's thesis ; Plumer, Lutz |