Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
provar la deductibilitat de teoremes aplicant les regles bàsiques d ' inferència d ' un càlcul deductiu .
probar la deductibilidad de teoremas aplicando las reglas básicas de inferencia de un cálculo deductivo .
Последнее обновление: 2015-10-18
Частота использования: 1
Качество: