TY  - BOOK
A1  - 
TI  - Constraint reasoning for differential models
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92922109
UR  /book/92922109/Constraint-reasoning-for-differential-models/
ER  -