Parikh, Rohit, 1936-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | Logic of programs, c1985: CIP t.p. (Rohit Parikh) CIP t.p. verso (Dept. of Computer and Info. Sci., Brooklyn College, Brooklyn, N.Y.) LC data base, 5/15/85 (hdg.: Parikh, Rohit, 1936- ; usage: R. Parikh) |
Dates of Birth and Death | 1936 |
から見よ参照 | Parikh, R. (Rohit), 1936- |
コード類 | 典拠ID=AU20064166 NCID=DA00406923 |
1 | Logic Colloquium : symposium on logic held at Boston, 1972-73 / edited by R. Parikh : Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975 |