![Modal logic / Deontic logic / Normal modal logic / Method of analytic tableaux / Sequent calculus / Model theory / Mathematical logic / Logic / Automated theorem proving Modal logic / Deontic logic / Normal modal logic / Method of analytic tableaux / Sequent calculus / Model theory / Mathematical logic / Logic / Automated theorem proving](https://www.pdfsearch.io/img/93b31337b8a00a4c478ee1f03cbb502d.jpg)
| Open Document File Size: 91,39 KBShare Result on Facebook
/ / IndustryTerm indispensable tool / theorem proving systems / unification algorithm / search fails / proof search methods / logic-dependent unification algorithm / search space / proof search / normal systems / search procedure / / Organization DL (SDL) / / Person Alberto Artosi / Guido Governatori / Paola Cattabriga / Wallen / / Position head of s(i) / General / head / / ProgrammingLanguage Prolog / / Technology logic-dependent unification algorithm / artificial intelligence / unification algorithm / KED algorithm / /
SocialTag |