DictionaryForumContacts

   English +
Google | Forvo | +

non monotonic theorem-provers

gen. nicht-monotone Beweisprogramme
non-monotonic theorem prover
IT nichtmonotones Beweisprogramm