My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art

Title Deduction, computation, experiment [electronic resource] : exploring the effectiveness of proof / Rossella Lupacchini, Giovanna Corsi (eds.).

Published Berlin ; New York : Springer, c2008.


Location Call No. Status
Physical description 1 online resource (xii, 279 p.) : ill.
Bibliography Includes bibliographical references and index.
Notes Description based on print version record.
Other author Lupacchini, Rossella.
Corsi, Giovanna.
Subject Evidence.
Electronic books.
ISBN 9788847007840