I. Mackie - Böcker

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

2 produkter

Böcker

2 produkter

Del 6

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

C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan, I. MacKie, I. Mackie - Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop, Inbunden

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Av C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan, I. MacKie, I. Mackie

Inbunden, Engelska, 1995

3 309 kr

Tillfälligt slut