14 results on '"Tableau"'
Search Results
2. Quasi-Realization
3. Future hot topics and directions of green growth based on a hybrid method
4. Dynamic resource provisioning and secured file sharing using virtualization in cloud azure
5. An ABox Abduction Algorithm for the Description Logic ALCI
6. Hybrid Reasoning for Ontology Classification
7. Verification of Careflow Management Systems with Timed BDI CTL Logic
8. A Tableau for RoBCTL
9. Tableaux with Dynamic Filtration for Layered Modal Logics
10. Using BDDs to Decide CTL
11. Effect of Oil Spill on Birds: A Graphical Assay of the Deepwater Horizon Oil Spill’s Impact on Birds
12. Data manipulation languages for the universal relation view DURST
13. Extended Caching, Backjumping and Merging for Expressive Description Logics
14. Hybrid Reasoning for Ontology Classification
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.