Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Lupacchini, Rossella
Korporativna značnica: SpringerLink (Online service)
Drugi avtorji: Corsi, Giovanna
Format: Elektronski eKnjiga
Jezik:angleščina
Izdano: Milano : Springer Milan, 2008.
Teme:
Online dostop:http://dx.doi.org/10.1007/978-88-470-0784-0
Oznake: Označite
Brez oznak, prvi označite!