Adapting Proofs-as-Programs, Fachbücher

Adapting Proofs-as-programs The Curry--howard Protocol 1235

Certified Programs and Proofs, Fachbücher

Types for Proofs and Programs, Fachbücher

Adapting Darkness, Fachbücher

Operational Research as part of structural adjustment programs, Fachbücher

Symbolic Analysis as a Basis for Program Comprehension, Fachbücher

Productive Safety Net Program as a Strategy for Poverty Reduction, Fachbücher

Adapting to the South, Fachbücher

Adapting to Climate Changes, Fachbücher

Learner Modeling in Continuously Adapting Hypermedia, Fachbücher

Adapting Open Innovation Ecosystem Dynamics, Fachbücher

Lutz Plümer | Termination Proofs For Logic Programs | Taschenbuch |

Progress in Adapting Reactor Accidents Physical Models, Fachbücher

Bijective proof, Fachbücher

Proof Profiles, Fachbücher