The following pages link to MEDLAR (Q15426):
Displayed 14 items.
- Symbolic computation of strongly nonlinear periodic oscillations (Q390390) (← links)
- Models and the dynamics of theory-building in physics. I: Modeling strategies (Q643103) (← links)
- Solution classification for the nonperspective-three-point problem (Q863022) (← links)
- Geometric constraint solving with geometric transformation (Q865932) (← links)
- Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham (Q1346892) (← links)
- On geometric and topological reasoning in robotics (Q1370612) (← links)
- (Q3838771) (← links)
- (Q4335852) (← links)
- (Q4360106) (← links)
- (Q4893670) (← links)
- Computer Aided Systems Theory – EUROCAST 2005 (Q5394449) (← links)
- Computer Aided Systems Theory – EUROCAST 2005 (Q5394457) (← links)
- On the Construction of Transformation Steps in the Category of Multiagent Systems (Q5505498) (← links)
- Combination of constraint systems II: Rational amalgamation (Q5958755) (← links)