My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
 
Look for full text

Search Discovery

Search Trove

Add record to RefWorks

E-RESOURCE

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

Published Berlin ; New York : Springer, c2008.

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