Deduction, Computation, Experiment, Fachbücher von Rossella Lupacchini

Giovanna Corsi (u. A.) | Deduction, Computation, Experiment |

Deduction, Computation, Experiment Exploring The Effectiveness Of

Rossella Petreschi (u. A.) | Walcom: Algorithms And Computation |

Deduction Systems, Fachbücher

Natural Deduction, Fachbücher

Automated Deduction in Geometry, Fachbücher

Induction and Deduction in the Sciences, Fachbücher

Labelled Deduction, Fachbücher von Dov M. Gabbay

Modeling River Delta Formation Computations, Experiments And

Emergent Computation, Fachbücher

Concurrent Computations, Fachbücher

Symbolic Computation, Fachbücher

Natural Deduction, Hybrid Systems and Modal Logics, Fachbücher

Quantum Computation And Quantum Communication: Theory And Experiments

Theory of Computation, Fachbücher