Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Німецька ⇄ Англійська +
Google | Forvo | +

FOL-Programm

n
шт.інтел. First-order Logic Program (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)

Додати | Повідомити про помилку | Коротке посилання