-
RecordNumber
41121
-
Author
Plumer, Lutz
-
Title
Termunation proafs for logic programs
-
Author Statement
Luty Plumer
-
Publication
Springer
-
Publication Year
[c1990]
-
Collation
142p
-
Series
Lecture notes in artificial intellingence; 446
-
Bibliography
bibliography: p. [132]- 139
-
Subject
kLogic programming
-
ADDED ENTRIES
^dSeries:Lecture notes in artificial intelligence, 446
-
Main Class
005
-
Sub Class
.131
-
Cutter no
P734t
-
وارد كنندة اطلاعات
Rezvany 0511^d//
-
Link To Document :
