Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
- diese klauselmenge löschen...
- delete this axiom set...
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
dieser klauselmenge wird lisp-seitig entfernt.
the axiom set will be removed from the lisp world.
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
das bearbeiten-menü: - diese klauselmenge übernehmen...
the edit menu: - apply this axiom set...
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
== vorgehensweise ==sei eine einheitsklausel formula_1 in der klauselmenge gegeben.
==definition==the procedure is based on unit clauses, i.e.
Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:
diese klauselmenge kann man durch anwendung dieser zwei regeln vereinfachen, wobei formula_5 die einheitsklausel ist.
the application of these two rules lead to a new set of clauses that is equivalent to the old one.
Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:
zur auswahl und zum erstellen von klauselmengen ist das feld neben dem label "klauselmenge" anzu- klicken.
to create a new axiom set, enter the new name in the field selection of the selection menue.
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
der darunter liegende "<< <<"-knopf löst eine freie klauselmenge wieder von der wissensbasis und bringt sie somit wieder in das mittlere fenster.
the button "<< <<" removes a free axset from the kb and relpaces it in the list of remaining sets in the middle of the dialog.
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
eine noch nicht in die wissensbasis übertragene Ände- rung einer zuordnung oder einer klauselmenge wird durch ein ausrufezeichen in der rechten oberen ecke ange- zeigt.
axiom set modifications, not yet updated in the kb, are displayed by an exclamation mark in the top right corner.
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
der prolog-editor ================= mit dem prolog-editor können prolog-klauseln und klauselmengen editiert und erstellt werden.
the prolog-editor ================= horn clauses(axioms) can be edited and created via the prolog editor. to select and create axiom sets you have to click on the field with the label "axiom set".
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível