TENSE CALCULUS AND ITS REFINEMENT WITHOUT ∞
スポンサーリンク
概要
- 論文の詳細を見る
- 2006-04-01
著者
-
Ikeda Yosuo
College Of Computer & Media Science Saitama Junior College
-
MACHI Hidetomo
Graduate School of Systems and Information Engineering University of Tsukuba
-
IKEDA Yasuo
College of Computer & Media Science Saitama Junior College
-
TOMITA Kohji
National Institute of Advanced Industrial Science and Technology (AIST)
-
HOSONO Chiharu
Graduate School of Systems and Information Engineering University of Tsukuba
-
IGARASHI Shigeru
Graduate School of Community Development Tokiwa University
-
Hosono Chiharu
Institute Of Information Science University Of Tsukuba
-
Tomita Kohji
Mechanical Engineering Laboratory Agency Of Industrial Sci. And Tech. Ministry Of Intl. Trade And In
関連論文
- TENSE CALCULUS AND ITS REFINEMENT WITHOUT ∞
- The Translation from Tense Arithmetic into Tense Calculus
- On an Unsatisfiability-satisfiability Prover
- A three-dimeneional self-reconfigurable system
- A distributed method for reconfiguration of a three- dimensional homogeneous structure
- Miniature self-reconfigurable modular machine using shape memory alloy
- Effects of field of view on lateral control performance in a vision-based autonomous vehicle
- REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
- REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
- TENSE ARITHMETIC II : @-CALCULUS AS AN ADAPTATION FOR FORMAL NUMBER THEORY