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

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

Hubert Comon | Rewriting Techniques And Applications | Taschenbuch |

Proof And Computation 2030

Helmut Schwicht Proof And Computation: Digitization In Mathe

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

Pat Morin (u. A.) | Algorithms And Computation | Taschenbuch |

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

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

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

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

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

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

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

Unconventional Computation And Natural Computation Pekka Orponen (u.

Narciso Martí-oliet (u. A.) | Logic, Rewriting, And Concurrency |