Jean Goubault-Larrecq - Böcker

Visar alla böcker från författaren Jean Goubault-Larrecq.
4 produkter
Jean Goubault-Larrecq, Ian Mackie, J. Goubault-Larrecq - Proof Theory and Automated Deduction, Inbunden

Proof Theory and Automated Deduction

Av Jean Goubault-Larrecq, Ian Mackie, J. Goubault-Larrecq

Inbunden, Engelska, 1997

1 789 kr

Tillfälligt slut
Jean (Ecole Normale Superieure de Cachan) Goubault-Larrecq, Jean Goubault-Larrecq - Non-Hausdorff Topology and Domain Theory, Inbunden

Non-Hausdorff Topology and Domain Theory

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

Inbunden, Engelska, 2013

1 679 kr

Skickas inom 7-10 vardagar
Jean Goubault-Larrecq, I. Mackie, I. MacKie, Ian MacKie - Proof Theory and Automated Deduction, Häftad
Del 6 - Applied Logic Series

Proof Theory and Automated Deduction

Av Jean Goubault-Larrecq, I. Mackie, I. MacKie, Ian MacKie

Häftad, Engelska, 2001

719 kr

Skickas inom 7-10 vardagar
Jean Goubault-Larrecq, Barbara König, Barbara Konig - Foundations of Software Science and Computation Structures, Häftad

Foundations of Software Science and Computation Structures

Av Jean Goubault-Larrecq, Barbara König, Barbara Konig

Häftad, Engelska, 2020

579 kr

Skickas inom 7-10 vardagar