SłownikiForumKontakt

   Angielski +
Google | Forvo | +

non monotonic theorem-provers

posp. nicht-monotone Beweisprogramme
non-monotonic theorem prover
technol. nichtmonotones Beweisprogramm