著者典拠情報

著者標目形：
Plümer, Lutz, 1951-
属性：
Personal
日付：
1951
注記：
Positionen der Friedensbewegung, 1981 (a.e.) t.p. (Lutz Plümer)
His Termination proofs for Logic programs, c1990: CIP t.p. (Lutz Plümer) t.p. verso (Univ. Dortmund, FRG) data sheet (b. 1-20-51)
著者典拠ID：
DA0450919X


1.

図書
図書
1. Logic programming : formal methods and practical applications
edited by Christoph Beierle, Lutz Plümer
出版情報: Amsterdam [Netherlands] ; Tokyo : Elsevier, 1995
シリーズ名: Studies in computer science and artificial intelligence ; 11
所蔵情報: 図書館
2.

図書
図書
2. Termination proofs for logic programs (: gw ; : us)
Lutz Plümer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 446 . Lecture notes in artificial intelligence
所蔵情報: 図書館