publication venue for Reasoning about nonlinear system identification 2001 Min-max computation tree logic 2001 PARADIGMS OF ARTIFICIAL-INTELLIGENCE PROGRAMMING - NORVIG 1993
keywords 0801 Artificial Intelligence and Image Processing, 1702 Cognitive Sciences, 0802 Computation Theory and Mathematics