DictionaryForumContacts

   English +
Google | Forvo | +

SLD resolution

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