Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
שמור ב:
| מחבר ראשי: | |
|---|---|
| מחבר תאגידי: | |
| מחברים אחרים: | |
| פורמט: | אלקטרוני ספר אלקטרוני |
| שפה: | אנגלית |
| יצא לאור: |
Milano :
Springer Milan,
2008.
|
| נושאים: | |
| גישה מקוונת: | http://dx.doi.org/10.1007/978-88-470-0784-0 |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
Search Result 1
Deduction, computation, experiment exploring the effectiveness of proof /
יצא לאור c2008.
An electronic book accessible through the World Wide Web; click to view
אלקטרוני
ספר אלקטרוני