Seligman, Jerry, 1964-
著者名典拠詳細を非表示
著者の属性 | 個人 |
---|---|
一般注記 | Logic, language, and computation, 1995: CIP t.p. (Jerry Seligman) CIP data sheet ( b. Feb. 23, 1964) SRC:Logic, language and computation / edited by Jerry Seligman & Dag Westerståhl(CSLI Publications, 1996) |
生没年等 | 1964- |
コード類 | 典拠ID=AU00319177 NCID=DA10239001 |
1 | Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman : hbk. - Cambridge ; New York : Cambridge University Press , 1997 |
2 | Logic, language and computation / edited by Jerry Seligman & Dag Westerståhl v. 1 - v. 3 : pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1996-c2000 |