著者典拠情報

著者標目形：
Kowalski, Robert
属性：
Personal
から見よ参照形：
Kowalski, Robert A
Kowalski, R. A
コワルスキ, R
注記：
His Logic for problem solving, c1979: t.p. (Robert Kowalski, Imperial Coll. of Sci & Tech., Univ. of London)
著者典拠ID：
DA0093253X


1.

図書
図書
1. 論理による問題の解法 : Prolog入門
R. コワルスキ著 ; 山田真市 [ほか] 訳
出版情報: 東京 : 培風館, 1987.3
シリーズ名: 情報処理シリーズ ; 8
所蔵情報: 図書館
2.

図書
図書
2. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 (: gw ; : us)
edited by W. Bibel and R. Kowalski
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 87
所蔵情報: 図書館