Imparare a tradurre dagli esempi di traduzione forniti da contributi umani.
Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
- diese klauselmenge löschen...
- delete this axiom set...
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
dieser klauselmenge wird lisp-seitig entfernt.
the axiom set will be removed from the lisp world.
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
das bearbeiten-menü: - diese klauselmenge übernehmen...
the edit menu: - apply this axiom set...
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
== vorgehensweise ==sei eine einheitsklausel formula_1 in der klauselmenge gegeben.
==definition==the procedure is based on unit clauses, i.e.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 2
Qualità:
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.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 2
Qualità:
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.
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
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.
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
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.
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
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".
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta