Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Lupacchini, Rossella
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Corsi, Giovanna
פורמט: אלקטרוני ספר אלקטרוני
שפה:אנגלית
יצא לאור: Milano : Springer Milan, 2008.
נושאים:
גישה מקוונת:http://dx.doi.org/10.1007/978-88-470-0784-0
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!