Cover Image
Read Now

1
by Mueller, Erik T.
Published 2006
Morgan Kaufmann Publishers
Table of Contents: “... Discrete Event Calculus Reasoner Architecture -- 13.2 Encoding SAT Problems -- 13.3 Simple Examples -- 13.4...”