FIRM
Formal Inference Recursive Modeling
Modélisation récursive du raisonnement formel
Autres langues
形式推理递归建模
形式推理遞迴建模
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
形式推論再帰モデリング
형식 추리 재 귀 모델 링
การอนุมานอย่างเป็นทางการ