DictionaryForumContacts

Google | Forvo | +

non-monotonic theorem prover

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

Add | Report an error | Get short URL