Deduction, Computation, Experiment Exploring the Effectiveness of Proof
E-book
Electronic resources
Record details
- ISBN: 9788847007840
-
Physical Description:
electronic
electronic resource
access
remote
online resource. - Publisher: Milano : Springer Milan, 2008.