Deduction, computation, experiment : exploring the effectiveness of proof

Author(s)

• Lupacchini, Rossella
• Corsi, Giovanna

Bibliographic Information

Deduction, computation, experiment : exploring the effectiveness of proof

Rossella Lupacchini, Giovanna Corsi (eds.)

Springer, c2008

Note

Includes bibliographical references and index

Details

• NCID: BB21373255
• ISBN:
  • 9788847007833
• Country Code: it
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Milano
• Pages/Volumes: xii, 279 p
• Size: 24cm
• Classification:
  • DC22 : 121.65
• Subject Headings:
  • LCSH : Evidence