Deduction, computation, experiment exploring the effectiveness of proof /

Zapisane w:

Opis bibliograficzny
Korporacja:	ebrary, Inc
Kolejni autorzy:	Corsi, Giovanna, Lupacchini, Rossella
Format:	Elektroniczne E-book
Język:	angielski
Wydane:	Berlin ; New York : Springer, c2008.
Hasła przedmiotowe:	Evidence. Logic. Electronic books.
Dostęp online:	An electronic book accessible through the World Wide Web; click to view
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!