Cover image not available

Deduction, computation, experiment : exploring the effectiveness of proof

Publication Data

Title Deduction, computation, experiment : exploring the effectiveness of proof
Contributors Rossella Lupacchini, Giovanna Corsi
Publisher Springer
Publication date 2008
Publication location Berlin
Language English

Topics

014584556

Catalogue Data

OBNB ID GBA854982
ISBN 10 8847007836
ISBN 13 9788847007840
Type BibliographicResource, Book
Dewey Classification 121.65

ISBD

P1053 xii, 279 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Deduction, computation, experiment : exploring the effectiveness of proof. ISBN 9788847007840. Published by Springer in 2008. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.