Aprendiendo a traducir con los ejemplos de traducciones humanas.
De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
- diese klauselmenge löschen...
- delete this axiom set...
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
dieser klauselmenge wird lisp-seitig entfernt.
the axiom set will be removed from the lisp world.
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
das bearbeiten-menü: - diese klauselmenge übernehmen...
the edit menu: - apply this axiom set...
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
== vorgehensweise ==sei eine einheitsklausel formula_1 in der klauselmenge gegeben.
==definition==the procedure is based on unit clauses, i.e.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
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 actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
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 actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible
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 actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible
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 actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
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 actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible