Versucht aus den Beispielen menschlicher Übersetzungen das Übersetzen zu lernen.
von: Maschinelle Übersetzung
Bessere Übersetzung vorschlagen
Qualität:
Von professionellen Übersetzern, Unternehmen, Websites und kostenlos verfügbaren Übersetzungsdatenbanken.
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 .
Letzte Aktualisierung: 2015-10-18
Nutzungshäufigkeit: 1
Qualität: