Login / Signup
Manabu Ataka
Publication Activity (10 Years)
Years Active: 1996-2013
Publications (10 Years): 0
Top Topics
Predicate Logic
Automated Reasoning
Proof Theory
Smart Phones
Top Venues
IEICE Electron. Express
</>
Publications
</>
Makoto Mita
,
Manabu Ataka
,
Hiroshi Toshiyoshi
Microelectromechanical XNOR and XOR logic devices.
IEICE Electron. Express
10 (8) (2013)
Hiroyuki Fujita
,
Manabu Ataka
,
Satoshi Konishi
Group work of distributed microactuators.
Robotica
14 (5) (1996)