![Modal logic / Entailment / Combinatory logic / Logic / Artificial intelligence / Epistemic modal logic Modal logic / Entailment / Combinatory logic / Logic / Artificial intelligence / Epistemic modal logic](https://www.pdfsearch.io/img/92825512a34096756e364c0d9de254c2.jpg)
| Document Date: 2010-07-07 05:27:15 Open Document File Size: 312,33 KBShare Result on Facebook
Company RTL / / / Facility Computer Science The University of Nottingham Nottingham / / IndustryTerm model-checking algorithm / partial solutions / transition systems / / Organization University of Nottingham Nottingham / Reserve Bank of Australia / UK Engineering and Physical Sciences Research Council / Abdur Rakib School / / Person Ai / Natasha Alechina / Hoang Nga / Brian Logan / / Position MP / rt / simple model of communication / / Technology modelchecking algorithm / model-checking algorithm / /
SocialTag |