FIRM
ภาษาอื่น ๆ
形式推理递归建模
形式推理遞迴建模
Formal Inference Recursive Modeling
Modélisation récursive du raisonnement formel
Modelado recursivo de inferencia formal
Modelo Recursivo de Inferência Formal
рекурсивная модель формальных умозаключений
المنطق الرسمي تكراري النمذجة
Formale Inferenzrekursive Modellierung
形式推論再帰モデリング
형식 추리 재 귀 모델 링
การอนุมานอย่างเป็นทางการ