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.; et al
Publisher: Berlin ; New York : Springer-Verlag, ©1990.
Series: Lecture notes in mathematics (Springer-Verlag), 1429
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

The courses given at the 1st CIME 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 in the library

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

Details

Genre/Form: Conference proceedings
Congrès
Additional Physical Format: Online version:
Logic and computer science.
Berlin ; New York : Springer-Verlag, c1990
(OCoLC)625133913
Document Type: Book
All Authors / Contributors: S Homer; Piergiorgio Odifreddi; Centro internazionale matematico estivo.; et al
ISBN: 3540527346 9783540527343 0387527346 9780387527345
OCLC Number: 21763577
Description: 162 p. : ill. ; 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 ... [et al.] ; 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


<http://www.worldcat.org/oclc/21763577>
library:oclcnum"21763577"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/21763577>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/871991>
rdf:typeschema:Intangible
schema:name"Computational complexity."@en
schema:name"Computational complexity"@en
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"1990"
schema:datePublished"1990"
schema:exampleOfWork<http://worldcat.org/entity/work/id/807121675>
schema:genre"Conference proceedings."@en
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
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:numberOfPages"162"
schema:publisher
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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