Jean Goubault-Larrecq - Böcker

Visar alla böcker från författaren Jean Goubault-Larrecq.

3 produkter

Kategorier

3 produkter

Del 22

Del 22 - New Mathematical Monographs

Non-Hausdorff Topology and Domain Theory

Selected Topics in Point-Set Topology

Av Jean Goubault-Larrecq, Jean (Ecole Normale Superieure de Cachan) Goubault-Larrecq

Inbunden, Engelska, 2013

1 649 kr

Skickas inom 10-15 vardagar

Proof Theory and Automated Deduction

Av Jean Goubault-Larrecq, I. Mackie m. fl

Häftad, Engelska, 2001

699 kr

Skickas inom 10-15 vardagar

Foundations of Software Science and Computation Structures

23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Av Jean Goubault-Larrecq, Barbara König m. fl

Häftad, Engelska, 2020

559 kr

Skickas inom 10-15 vardagar