FIRM
Formal Inference Recursive Modeling
Modelo Recursivo de Inferência Formal
Outras línguas
形式推理递归建模
形式推理遞迴建模
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
形式推論再帰モデリング
형식 추리 재 귀 모델 링
การอนุมานอย่างเป็นทางการ