Deduction, computation, experiment exploring the effectiveness of proof /

Saved in:
Bibliographic Details
Corporate Author: ebrary, Inc
Other Authors: Corsi, Giovanna, Lupacchini, Rossella
Format: Electronic eBook
Language:English
Published: Berlin ; New York : Springer, c2008.
Subjects:
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!
Search Result 1

Deduction, Computation, Experiment Exploring the Effectiveness of Proof / by Lupacchini, Rossella

Published 2008
Get full text
Electronic eBook
Search Result 2

Deduction, Computation, Experiment Exploring the Effectiveness of Proof / by Lupacchini, Rossella

Published 2008
Get full text
Electronic eBook
Search Result 3