Nick Bassiliades, Guido Governatori, Adrian Paschke

Rule-Based Reasoning, Programming, and Applications - Germany Springer 2011

978-3-642-22546-8


Computer Science
Rule-Based Reasoning, Programming, and Applications