Deduction, computation, experiment exploring the effectiveness of proof /

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ebrary, Inc
Weitere Verfasser:	Corsi, Giovanna, Lupacchini, Rossella
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Berlin ; New York : Springer, c2008.
Schlagworte:	Evidence. Logic. Electronic books.
Online-Zugang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!