Search alternatives:
"dynamic systems" » "economic systems"
"dynamical systems" » "dynamics systems"
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- Specification and verification of constraint-based dynamic systems -- GSAT and dynamic backtracking...”