<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-06-04 17:02:01Transport Frank Malina NASA personnel Qian Xuesen Theodore von Kármán Jet Propulsion Laboratory Rocket Guggenheim Aeronautical Laboratory Leonardo Space technology Rocketry Rocket scientists |
Add to Reading List |
My father, Frank Joseph Malina (1 ), was born a hundred years ago on Octoberin Brenham,Texas. The son of Czech immigrants, his parents were music teachers, but had | A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft ResearchDocID: 1xVCc - View Document |
 | Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, RedmondDocID: 1xV4c - View Document |
 | Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York UniversityDocID: 1xV3a - View Document |
 | Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft ResearchDocID: 1xTeO - View Document |
 | DOC DocumentDocID: 1xdTP - View Document |