skip to content
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof Preview this item
ClosePreview this item
Checking...

Deduction, Computation, Experiment : Exploring the Effectiveness of Proof

Author: Rossella Lupacchini; Giovanna Corsi
Publisher: Milano : Springer-Verlag Italia, 2008.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Print:
Deduction, Computation, Experiment.
2008
Material Type: Document
Document Type: Book, Computer File
All Authors / Contributors: Rossella Lupacchini; Giovanna Corsi
ISBN: 9788847007840 8847007844
OCLC Number: 938683237
Description: 1 online resource : v.: digital
Responsibility: edited by Rossella Lupacchini, Giovanna Corsi.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/938683237> # Deduction, Computation, Experiment Exploring the Effectiveness of Proof
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "938683237" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906071711#Place/milano> ; # Milano
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/it> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/information_theory> ; # Information theory
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/mathematical_and_computational_physics> ; # Mathematical and Computational Physics
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/mathematical_physics> ; # Mathematical physics
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/philosophy_of_nature> ; # Philosophy of nature
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Thing/springer_ebooks> ; # Springer eBooks
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/philosophy> ; # Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/906071711#Topic/logic> ; # Logic
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/906071711#Person/corsi_giovanna> ; # Giovanna Corsi
    schema:creator <http://experiment.worldcat.org/entity/work/data/906071711#Person/lupacchini_rossella> ; # Rossella Lupacchini
    schema:datePublished "2008" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/906071711> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/906071711#CreativeWork/deduction_computation_experiment> ;
    schema:name "Deduction, Computation, Experiment Exploring the Effectiveness of Proof" ;
    schema:productID "938683237" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/938683237#PublicationEvent/milano_springer_verlag_italia_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/906071711#Agent/springer_verlag_italia> ; # Springer-Verlag Italia
    schema:workExample <http://worldcat.org/isbn/9788847007840> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/938683237> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/906071711#Agent/springer_verlag_italia> # Springer-Verlag Italia
    a bgn:Agent ;
    schema:name "Springer-Verlag Italia" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Person/corsi_giovanna> # Giovanna Corsi
    a schema:Person ;
    schema:familyName "Corsi" ;
    schema:givenName "Giovanna" ;
    schema:name "Giovanna Corsi" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Person/lupacchini_rossella> # Rossella Lupacchini
    a schema:Person ;
    schema:familyName "Lupacchini" ;
    schema:givenName "Rossella" ;
    schema:name "Rossella Lupacchini" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Thing/springer_ebooks> # Springer eBooks
    a schema:Thing ;
    schema:name "Springer eBooks" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Topic/information_theory> # Information theory
    a schema:Intangible ;
    schema:name "Information theory" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Topic/mathematical_and_computational_physics> # Mathematical and Computational Physics
    a schema:Intangible ;
    schema:name "Mathematical and Computational Physics" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Topic/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Intangible ;
    schema:name "Mathematical Logic and Foundations" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Topic/mathematical_physics> # Mathematical physics
    a schema:Intangible ;
    schema:name "Mathematical physics" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Topic/philosophy_of_nature> # Philosophy of nature
    a schema:Intangible ;
    schema:name "Philosophy of nature" ;
    schema:name "Philosophy of Nature" ;
    .

<http://experiment.worldcat.org/entity/work/data/906071711#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation" ;
    .

<http://worldcat.org/entity/work/data/906071711#CreativeWork/deduction_computation_experiment>
    a schema:CreativeWork ;
    rdfs:label "Deduction, Computation, Experiment." ;
    schema:description "Print:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/938683237> ; # Deduction, Computation, Experiment Exploring the Effectiveness of Proof
    .

<http://worldcat.org/isbn/9788847007840>
    a schema:ProductModel ;
    schema:isbn "8847007844" ;
    schema:isbn "9788847007840" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.