著者典拠情報

著者標目形：
O'Donnell, Michael J., 1952-
属性：
Personal
日付：
1952-
注記：
His Equational logic as a programming language, c1985: CIP t.p. (Michael J. O'Donnell)
LC data base, 12/26/84 (hdg.: O'Donnell, Michael J., 1952- )
Associate proffesor of Computer Science at the Johns Hopikins University
著者典拠ID：
DA00027925


1.

図書
図書
1. Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings (: gw ; : us)
J.P. Myers, Jr., M.J. O'Donnell, eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 613
所蔵情報: 図書館
2.

図書
図書
2. Equational logic as a programming language
Michael J. O'Donnell
出版情報: Cambridge, Mass. : MIT Press, c1985
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: 図書館
3.

図書
図書
3. Computing in systems described by equations (: gw ; : us)
Michael J. O'Donnell
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 58
所蔵情報: 図書館