Similar to 自動定理証明
ビリヤードボール・コンピュータ
Billiard-ball computer
不動点コンビネータ
Fixed-point combinator
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ペトリネット
Petri net
ホーア論理
Hoare logic
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machineラムダ計算
Lambda calculus
ループ不変条件
Loop invariant論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical system
第3海兵遠征軍 (アメリカ軍)
III Marine Expeditionary Force
第8SS騎兵師団
8th SS Cavalry Division Florian Geyer
第13竜騎兵落下傘連隊 (フランス軍)
13th Parachute Dragoon Regiment
第101SS重戦車大隊
101st SS Heavy Panzer Battalion
1800年アメリカ合衆国大統領選挙
1800 United States presidential election▼-1 trends
1860年アメリカ合衆国大統領選挙
1860 United States presidential election▼-1 trends
1864年アメリカ合衆国大統領選挙
1864 United States presidential election▼-1 trends
1906年アテネオリンピック
1906 Intercalated Games
1912年ストックホルムオリンピック
1912 Summer Olympics
1920年アントワープオリンピック
1920 Summer Olympics