著者典拠情報

著者標目形：
Wos, Larry, 1930-
属性：
Personal
日付：
1930
から見よ参照形：
Wos, L. (Larry)
ウォス, ラリー
注記：
Automated reasoning, c1984: CIP t.p. (Larry Wos)
His Automated reasoning, 1988: CIP t.p. (Larry Wos; Argonne Nat. Lab., Argonne, Ill.) data sheet (b. 7/13/30)
His Automated reasoning and various applications, 1985: t.p. (L. Wos)
著者典拠ID：
DA03160397


1.

図書
図書
1. Automated reasoning and its applications : essays in honor of Larry Wos
edited by Robert Veroff with Gail W. Pieper
出版情報: Cambridge, Mass. : The MIT Press, 1997
所蔵情報: 図書館
2.

図書
図書
2. コンピュータによる推論技法
L. ウォス [ほか] 著 ; 川越恭二 [ほか] 訳
出版情報: 東京 : マグロウヒル出版, 1989.1
シリーズ名: Computation & software science
所蔵情報: 図書館