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

Proof and Computation, Fachbücher

Rewriting, Computation and Proof, Fachbücher

Proof And Computation 2030

Games, Norms and Reasons, Fachbücher von Johan Van Benthem

Complex Structures, Fachbücher von Johan van der Auwera

Helmut Schwicht Proof And Computation: Digitization In Mathe

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

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

Models of Strategic Reasoning, Fachbücher von Johan Van Benthem

Agency And Representation, Fachbücher

Computation and Asymptotics, Fachbücher

The Age of Alternative Logics, Fachbücher von Johan Van Benthem

Proofs and Algorithms, Fachbücher

Logic, Meaning and Computation, Fachbücher

Imprecise and Approximate Computation, Fachbücher