Rchr
J-GLOBAL ID：200901049457335331
Update date: Dec. 01, 2003
Oshima Katsuya
オオシマ カツヤ | Oshima Katsuya
Affiliation and department：
Job title：
教授
Research field (2)：
Electronic devices and equipment
, Information theory
Research keywords (4)：
計算機科学
, 電子デバイス・機器工学
, Computer Science
, Electron Devices and Apparatus Engineering
Research theme for competitive and other funds (2)：
- 論理設計支援系について
- On a support system in the logical circuit design
MISC (6)：
Works (6)：
-
Mathematicaによる回路解析の試み
1991 -
-
Trial on circuits analysis in Mathematica
1991 -
-
時相論理の表現について
1990 -
-
Trial on a representation of temporal logic
1990 -
-
論理シミュレータの製作について
1987 -
ｍore...
Professional career (1)：
Association Membership(s) (1)：
Return to Previous Page
