Results 1 -
4 of
4
Author manuscript, published in "2nd Workshop on Process-based approaches for Model-Driven Engineering Denmark (2012)" 2nd Workshop on Process-based approaches for Model-Driven Engineering (submission) FORMAL AND FAULT TOLERANT DESIGN
"... The final decades of the 19 th century and the first decades of the 20 th century witnessed many efforts to formulate mathematics. Some fruits of these essays are Set theory, Propositional Logic, First Order Logic, etc. Introduced by Alonzo Church in the 1930s, λ-calculus is a primitive method to fo ..."
Abstract
- Add to MetaCart
The final decades of the 19 th century and the first decades of the 20 th century witnessed many efforts to formulate mathematics. Some fruits of these essays are Set theory, Propositional Logic, First Order Logic, etc. Introduced by Alonzo Church in the 1930s, λ-calculus is a primitive method
TO CODE OR NOT TO CODE
, 2002
"... de nationalité suisse et originaire de Zurich (ZH) et Lucerne (LU) acceptée sur proposition du jury: ..."
Abstract
- Add to MetaCart
de nationalité suisse et originaire de Zurich (ZH) et Lucerne (LU) acceptée sur proposition du jury: