Logic and language models for computer science - Richards, Dana; Hamburger, Henry (New Jersey: World Scientific, 2018)
Keywords: Description logics; Formal languages; Artificial intelligence; Electronic books