I. Mackie – författare

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

2 produkter

Kategorier

2 produkter

Del 6

Jean Goubault-Larrecq, I. Mackie - Proof Theory and Automated Deduction, Häftad

Del 6 - Applied Logic Series

Proof Theory and Automated Deduction

AvJean Goubault-Larrecq,I. Mackie

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan - 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

AvC HANKIN I MACKIE,Chris Hankinm. fl.

Inbunden, Engelska, 1995

3 339 kr

Tillfälligt slut