Reasoning and Unification Over Conceptual Graphs

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.

Toto zboží se v tuto chvíli neprodává.