著者典拠情報

標目形：
Clote, Peter
属性：
Personal
から見よ参照形：
Clote, Peter G.
注記：
Arithmetic, proof theory, and computational complexity, 1992: CIP t.p. (Peter Clote, Dept. Computer Sci., Boston College, Mass.)
EDSRC:Computer science logic, c2000: t.p. (Peter G. Clote) t.p. verso (Boston Coll., Dept. of Computer Science and Dept. of Biology, Chestnut Hill, MA) LC data (b. 9-23-51)
著者典拠ID：
DA07477067


 close
1.

図書
図書
1. Boolean functions and computation models
Peter Clote, Evangelos Kranakis
出版情報: Berlin : Springer, c2010
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
2.

図書
図書
2. Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Peter G. Clote, Helmut Schwichtenberg (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1862
所蔵情報: loading…