著者典拠情報

著者標目形：
Loveland, Donald W., 1934-
属性：
Personal
日付：
1934-
から見よ参照形：
Loveland, D. (Donald)
Loveland, D. W. (Donald W.)
注記：
His Automated theorem proving, 1977
Conf. on Automated Deduction (6th : 1982 : New York, N.Y.). 6th Conf. on ... 1982: CIP t.p. (D. Loveland) data sheet (b. 12/26/34)
Automated theorem proving, 1984: CIP t.p. (D.W. Loveland)
著者典拠ID：
DA02084442


1.

図書
図書
1. Automated theorem proving in software engineering
Johann M. Schumann ; foreword by Donald Loveland
出版情報: Berlin : Springer, c2001
所蔵情報: 図書館
2.

図書
図書
2. 6th Conference on automated deduction, New York, USA, June 7-9, 1982 (: gw ; : us)
edited by D.W. Loveland
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 138
所蔵情報: 図書館