Wörterbücher
Forum
Kontakte

   Englisch Deutsch +
Google | Forvo | +

linear resolution with selection function for definite clauses

KI lineare Resolution mit Selektionsfunktion für definite Klauseln; SLD-Resolution