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…