Rchr
J-GLOBAL ID：200901037294136770
Update date: Aug. 22, 2002
Kobayashi Shunichi
コバヤシ シュンイチ | Kobayashi Shunichi
Affiliation and department：
Research field (1)：
Information theory
Research keywords (1)：
情報数理
Research theme for competitive and other funds (1)：
MISC (12)：
-
A Model of Predicate Calculus on Partitions. Mechanized Mathematics and Its Applications. 2000. Vol.1, No.1, pp.21-29
-
Propositional Calculus for Boolean Valued Funct-ions, V. Formalized Mathematics. 1999. Vol.8, No.1, pp.161-162
-
Propositional Calculus for Boolean Valued Funct-ions, IV. Formalized Mathematics. 1999. Vol.8, No.1, pp.149-150
-
Propositional Calculus for Boolean Valued Funct-ions, III. Formalized Mathematics. 1999. Vol.8, No.1, pp.147-148
-
Propositional Calculus for Boolean Valued Funct-ions, II. Formalized Mathematics. 1999. Vol.8, No.1, pp.115-117
ｍore...
Education (2)：
- - 1999 Shinshu University
- - 1987 Shinshu University Faculty of Engineering
Professional career (1)：
Association Membership(s) (3)：
電子情報通信学会
, 情報処理学会
, Mizar学会
