Similar to 表示的意味論
アルティン環
Artinian ring
アルティン・シュライアー理論
Artin–Schreier theory
アルティン–シュライヤーの定理
アルティン相互法則
Artin reciprocity
アルティン・リースの補題
Artin–Rees lemmaアルハゼンの定理
アルバネーゼ多様体
Albanese variety
アルファシェイプ
Alpha shape
アルファ・ベータ法
Alpha–beta pruning
アルファベット (計算機科学)
Alphabet (formal languages)
仕様記述言語
Specification language
形式仕様記述
Formal specification
Eiffel
Eiffel (programming language)
Object Constraint Language
Object Constraint LanguagePlusCal
PlusCalProperty Specification Language
Property Specification LanguageSpec Sharp
TLA+
TLA+
VDM
Vienna Development Method
Z言語
Z notation
仕様及び記述言語
Specification and Description Language(19308) 1996 TO66
(19308) 1996 TO66
フリースタイルスキー・ワールドカップ
FIS Freestyle Ski World Cup2004 FH
2004 FH
第2軍 (日本軍)
Second Army (Japan)
第四号海防艦
第六潜水艇
▲1 trends
第七号駆潜艇
Japanese submarine chaser CH-7