My Library

University LibraryCatalogue

Request Save to My Lists Export
     
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
E-RESOURCE

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

Published Berlin ; New York : Springer, c2008.
 
Connect to ebook (University of Melbourne only)

Copies

Location Call No. Status
 UniM INTERNET resource    AVAILABLE
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
8847007844