Modal vs. Propositional Reasoning for Model Checking With Description Logics
| Title | Modal vs. Propositional Reasoning for Model Checking With Description Logics |
|---|---|
| Author | |
| Year of Publication |
2007
|
| Conference Name |
Modal vs. Propositional Reasoning for Model Checking With Description Logics
|
| URL | |
| Download citation |