Journals Higher Education

Series

  • International Series of Monographs on Computer Science

Type

Price

Product Type

Format

International Series of Monographs on Computer Science RSS

List | Grid
Cover for 9780198539896

Automated Deduction in Multiple-Valued Logics

£84.00

Reiner Hähnle

9780198539896
Hardback
06 January 1994
International Series of Monographs on Computer Science

Cover for 9780198538356

Computation and Reasoning

A Type Theory for Computer Science

£52.00

Zhaohui Luo

9780198538356
Hardback
31 March 1994
International Series of Monographs on Computer Science

List | Grid
Standing Orders Available
Share: