Deduction, computation, experiment [electronic resource] : exploring the effectiveness of proof / Rossella Lupacchini, Giovanna Corsi (eds.).
Material type: TextPublication details: Berlin ; New York : Springer, c2008.Description: xii, 279 p. : illSubject(s): Genre/Form: LOC classification:- BC173 .D43 2008
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Ebook | TUS: Midlands, Main Library Athlone Online | eBook (Browse shelf(Opens below)) | Available |
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.