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:   Print book : Document   Computer File : 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 bgn:PrintBook ;
   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#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.