Similar to 順序回路
Prolog
Prolog
後者関数
Successor function
線形論理
Linear logic
直観主義型理論
Intuitionistic type theory
反ユニフィケーション
Anti-unification
汎用ロジックIC
Logic family
表示的意味論
Denotational semantics
ホーア論理
Hoare logic
前向き連鎖
Forward chainingユニフィケーション
Unification (computer science)
制御工学
Control engineering
6DoF
Six degrees of freedom
BACnet
BACnet
ECU-TEST
Ecu.test
EPICS
EPICS
IEC 61131-3
IEC 61131-3
KNX
KNX
UART
Universal asynchronous receiver-transmitter
ウォッチドッグタイマー
Watchdog timer
運転曲線
駅集中管理システム
遠隔監視制御システム
Remote monitoring and control
遠隔操作
Telecommand遠隔操作車両
Remote-control vehicle
オーディオアニマトロニクス
Audio-Animatronics
オペレーショナルテクノロジー
Operational technology
オルラン10
STC Orlan-10
音響誘導
Acoustic homing