The Resource 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, S. Homer [and others] ; editor, P. Odifreddi
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, S. Homer [and others] ; editor, P. Odifreddi
Resource Information
The item 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, S. Homer [and others] ; editor, P. Odifreddi represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item 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, S. Homer [and others] ; editor, P. Odifreddi represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- 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 expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types
- Language
- eng
- Extent
- 1 online resource (162 pages)
- Isbn
- 9783540471356
- Label
- 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
- Title
- Logic and computer science
- Title remainder
- 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
- Statement of responsibility
- S. Homer [and others] ; editor, P. Odifreddi
- Subject
-
- Computational complexity
- Computational complexity
- Computational complexity -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical -- Congresses
- Logique symbolique et mathématique -- Congrès
- Programmation (mathématiques) -- Congrès
- Programming (Mathematics)
- Programming (Mathematics)
- Programming (Mathematics) -- Congresses
- Language
- eng
- 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 expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types
- Action
- digitized
- Cataloging source
- SPLNM
- Dewey number
-
- 510 s
- 511.3
- Illustrations
- illustrations
- Index
- no index present
- LC call number
-
- QA3
- QA9.A1
- LC item number
- .L28 no. 1429
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1950-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Homer, S.
- Odifreddi, Piergiorgio
- Centro internazionale matematico estivo
- Series statement
- Lecture notes in mathematics,
- Series volume
- 1429
- http://library.link/vocab/subjectName
-
- Logic, Symbolic and mathematical
- Programming (Mathematics)
- Computational complexity
- Computational complexity
- Logic, Symbolic and mathematical
- Programming (Mathematics)
- Programmation (mathématiques)
- Logique symbolique et mathématique
- Label
- 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, S. Homer [and others] ; editor, P. Odifreddi
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 298654483
- Dimensions
- unknown
- Extent
- 1 online resource (162 pages)
- Form of item
- online
- Isbn
- 9783540471356
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reproduction note
- Electronic reproduction.
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)298654483
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
- Label
- 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, S. Homer [and others] ; editor, P. Odifreddi
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 298654483
- Dimensions
- unknown
- Extent
- 1 online resource (162 pages)
- Form of item
- online
- Isbn
- 9783540471356
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reproduction note
- Electronic reproduction.
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)298654483
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Subject
- Computational complexity
- Computational complexity
- Computational complexity -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical -- Congresses
- Logique symbolique et mathématique -- Congrès
- Programmation (mathématiques) -- Congrès
- Programming (Mathematics)
- Programming (Mathematics)
- Programming (Mathematics) -- Congresses
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Logic-and-computer-science--lectures-given-at/6wxTkV2r7Ac/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Logic-and-computer-science--lectures-given-at/6wxTkV2r7Ac/">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, S. Homer [and others] ; editor, P. Odifreddi</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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, S. Homer [and others] ; editor, P. Odifreddi
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Logic-and-computer-science--lectures-given-at/6wxTkV2r7Ac/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Logic-and-computer-science--lectures-given-at/6wxTkV2r7Ac/">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, S. Homer [and others] ; editor, P. Odifreddi</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
