Bristol) Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories - Böcker

Visar alla böcker från författaren Bristol) Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories.

1 produkt

Böcker

1 produkt

Del 45

David J. Pym, Eike Ritter, Bristol) Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, University of Birmingham) Ritter, Eike (, Lecturer in Computer Science - Reductive Logic and Proof-search, Inbunden

Del 45 - Oxford Logic Guides

Reductive Logic and Proof-search

Av David J. Pym, Eike Ritter, Bristol) Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, University of Birmingham) Ritter, Eike (, Lecturer in Computer Science

Inbunden, Engelska, 2004

2 919 kr

Skickas inom 5-8 vardagar