SłownikiForumKontakt

   Angielski +
Google | Forvo | +

non-resolution theorem proving

technol. razonamiento informal; deducción natural; demostración de teoremas "no por resolución"