Akademibokhandeln

I. Mackie – författare

Visar alla böcker från författaren I. Mackie.

2 produkter

  1. Jean Goubault-Larrecq, I. Mackie - Proof Theory and Automated Deduction, Häftad. Tillgänglighet: Lägg i varukorg

    Proof Theory and Automated Deduction

    Av Jean Goubault-Larrecq, I. Mackie

    Häftad, 2001

    709 kr

    Lägg i varukorg

  2. C HANKIN I MACKIE, C Hankin, R Nagarajan, I Mackie - THEORY AND FORMAL METHODS OF COMPUTING 94: PROCEEDINGS OF THE SECOND IMPERIAL COLLEGE WORKSHOP, Inbunden. Tillgänglighet: Tillfälligt slut

    THEORY AND FORMAL METHODS OF COMPUTING 94: PROCEEDINGS OF THE SECOND IMPERIAL COLLEGE WORKSHOP

    Av C HANKIN I MACKIE, C Hankin m. fl.

    Inbunden, 1995

    3439 kr

    Tillfälligt slut