SłownikiForumKontakt

   Angielski +
Google | Forvo | +

nonresolution theorem proving

sztuczn. Nichtresolutions-Theorembeweisen; Theorembeweisen durch natürliche Deduktion