Ian Mackie - Böcker

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

3 produkter

Böcker

3 produkter

Simon Gay, Ian Mackie, Simon (University of Glasgow) Gay, Ian (Imperial College London) Mackie, Ian MacKie - Semantic Techniques in Quantum Computation, Inbunden

Semantic Techniques in Quantum Computation

Av Simon Gay, Ian Mackie, Simon (University of Glasgow) Gay, Ian (Imperial College London) Mackie, Ian MacKie

Inbunden, Engelska, 2009

1 459 kr

Skickas inom 7-10 vardagar

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

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