TY  - BOOK
A1  - / Jorge Cruz
TI  - Constraint reasoning for differential models
PB  - کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره
SN  - 93063570
UR  /book/93063570/Constraint-reasoning-for-differential-models/
ER  -