
Conte aos seus amigos sobre este item:
Reasoning and Unification over Conceptual Graphs
Dan Corbett
Reasoning and Unification over Conceptual Graphs
Dan Corbett
Offering an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures, this work addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. It includes examples, illustrations, and both formal and informal definitions and discussions.
161 pages, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 31 de janeiro de 2003 |
ISBN13 | 9780306474873 |
Editoras | Springer Science+Business Media |
Páginas | 151 |
Dimensões | 159 × 235 × 17 mm · 394 g |
Idioma | English |
Ver tudo de Dan Corbett ( por exemplo Hardcover Book e Paperback Book )