Normal view MARC view ISBD view

Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi.

By:

Contributor(s):

Material type:

Computer filePublication details: Milano : Springer-Verlag Italia, 2008.Description: v.: digitalISBN:

Subject(s):

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	BC173 L87 2008 (Browse shelf(Opens below))	Link to resource	C : 1	Available	SpringerLink	BDIG00007692

Previous								Next
Previous	BC34 D88 2007 Formalizing Medieval Logical Theories	BC108 B74 2008 Logic in Reality	BC135 B46 2006 The Age of Alternative Logics	BC173 L87 2008 Deduction, Computation, Experiment	BC177 H58 2006 Arguing on the Toulmin Model	BC199.A26 A45 2006 ABDUCTIVE REASONING	BC199.M6 C37 2008 Modalities and Multimodalities	Next

There are no comments on this title.

to post a comment.

Back to results