Deduction, Computation, Experiment
Subtitle: Exploring the Effectiveness of Proof
Publisher: Springer
Published: 2008
Language: eng
ISBN-13: 9788847007840
Subjects: Evidence