Rewriting, Computation and Proof, Fachbücher

Hubert Comon-lundh (u. A.) | Rewriting, Computation And Proof |

Proof and Computation, Fachbücher

Proof, Computation and Agency, Fachbücher von Johan Van Benthem

Proof And Computation 2030

Term Rewriting and Applications, Fachbücher

Helmut Schwicht Proof And Computation: Digitization In Mathe

Helmut Schwichtenberg (u. A.) | Proofs And Computations | Buch |

Computation and Asymptotics, Fachbücher

Proofs and Algorithms, Fachbücher

Logic, Meaning and Computation, Fachbücher

Imprecise and Approximate Computation, Fachbücher

Infinity in Logic and Computation, Fachbücher

Polynomial and Matrix Computations, Fachbücher

Computation in Cells and Tissues, Fachbücher

Mathematics and Computation in Music, Fachbücher