Bokus

Jean Goubault-Larrecq

Visar alla böcker från författaren Jean Goubault-Larrecq. Handla med fri frakt och snabb leverans.

  1. Non-Hausdorff Topology and Domain Theory

    Non-Hausdorff Topology and Domain Theory

    2013

  2. Proof Theory and Automated Deduction

    Proof Theory and Automated Deduction

    2001

  3. Foundations of Software Science and Computation Structures

    Foundations of Software Science and Computation Structures

    2020