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

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

Rewriting, Computation and Proof, Fachbücher von Claude Kirchner, Hubert Comon-Lundh, Hélène Kirchner

Hubert Comon | Rewriting Techniques And Applications | Taschenbuch |

Proof And Computation 2030

Proof and Computation, Fachbücher

Helmut Schwicht Proof And Computation: Digitization In Mathe

Gilles Dowek (u. A.) | Higher-order Algebra, Logic, And Term Rewriting

Yurii Rogozhin (u. A.) | Machines, Computations, And Universality |

Fabio Benatti (u. A.) | Quantum Information, Computation And

Jianer Chen (u. A.) | Parameterized And Exact Computation |

Leszek Rutkowski (u. A.) | Swarm And Evolutionary Computation |

Walter Gautschi (u. A.) | Approximation And Computation | Taschenbuch

Biomechanics | Concepts And Computation | Cees Oomens (u. A.) |

Tetsuo Asano (u. A.) | Algorithms And Computation | Taschenbuch |

Pekka Orponen (u. A.) | Unconventional Computation And Natural