skip to content
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 Preview this item
ClosePreview this item
Checking...

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Author: S Homer; Piergiorgio Odifreddi; Centro internazionale matematico estivo.
Publisher: Berlin ; New York : Springer-Verlag, ©1990.
Series: Lecture notes in mathematics (Springer-Verlag), 1429.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Logic and computer science.
Berlin ; New York : Springer-Verlag, ©1990
(OCoLC)625133913
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: S Homer; Piergiorgio Odifreddi; Centro internazionale matematico estivo.
ISBN: 3540527346 9783540527343 0387527346 9780387527345
OCLC Number: 21763577
Description: 162 pages : illustrations ; 25 cm.
Contents: The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.
Series Title: Lecture notes in mathematics (Springer-Verlag), 1429.
Responsibility: S. Homer [and others] ; editor, P. Odifreddi.
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/21763577> # Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "21763577" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/807121675#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques_congres> ; # Programmation (mathématiques)--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques> ; # Programmation (Mathématiques)
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://dewey.info/class/510/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/programming_mathematics> ; # Programming (Mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (Informatique)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/59173472> ; # Steven Homer
    schema:contributor <http://viaf.org/viaf/27127695> ; # Piergiorgio Odifreddi
    schema:contributor <http://viaf.org/viaf/142847353> ; # Centro internazionale matematico estivo.
    schema:copyrightYear "1990" ;
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/807121675> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/807121675#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/807121675#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/625133913> ;
    schema:name "Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988"@en ;
    schema:productID "21763577" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/21763577#PublicationEvent/berlin_new_york_springer_verlag_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/807121675#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1794102&custom_att_2=simple_viewer> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=1429> ;
    schema:url <http://swbplus.bsz-bw.de/bsz021107149cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540527343> ;
    schema:workExample <http://worldcat.org/isbn/9780387527345> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/21763577> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/807121675#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/21763577> ; # Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/21763577> ; # Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/complexite_de_calcul_informatique> # Complexité de calcul (Informatique)
    a schema:Intangible ;
    schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques> # Programmation (Mathématiques)
    a schema:Intangible ;
    schema:name "Programmation (Mathématiques)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques_congres> # Programmation (mathématiques)--Congrès
    a schema:Intangible ;
    schema:name "Programmation (mathématiques)--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/programming_mathematics> # Programming (Mathematics)
    a schema:Intangible ;
    schema:name "Programming (Mathematics)"@en ;
    .

<http://viaf.org/viaf/142847353> # Centro internazionale matematico estivo.
    a schema:Organization ;
    schema:name "Centro internazionale matematico estivo." ;
    .

<http://viaf.org/viaf/27127695> # Piergiorgio Odifreddi
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Odifreddi" ;
    schema:givenName "Piergiorgio" ;
    schema:name "Piergiorgio Odifreddi" ;
    .

<http://viaf.org/viaf/59173472> # Steven Homer
    a schema:Person ;
    schema:familyName "Homer" ;
    schema:givenName "Steven" ;
    schema:givenName "S." ;
    schema:name "Steven Homer" ;
    .

<http://worldcat.org/isbn/9780387527345>
    a schema:ProductModel ;
    schema:isbn "0387527346" ;
    schema:isbn "9780387527345" ;
    .

<http://worldcat.org/isbn/9783540527343>
    a schema:ProductModel ;
    schema:isbn "3540527346" ;
    schema:isbn "9783540527343" ;
    .

<http://www.worldcat.org/oclc/625133913>
    a schema:CreativeWork ;
    rdfs:label "Logic and computer science." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/21763577> ; # Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    .

<http://www.worldcat.org/title/-/oclc/21763577>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/21763577> ; # Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    schema:dateModified "2017-09-19" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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