אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית יפנית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

theorem prover
.טכנול	démonstrateur de théorèmes

theorem prover : 2 צירופים, 1 נושאים

טכנולוגית מידע

2