doorgaan naar inhoud
Data types as lattices Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Data types as lattices

Auteur: Dana S Scott
Uitgever: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1976.
Serie: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Editie/Formaat:   Print book : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Soort document: Boek
Alle auteurs / medewerkers: Dana S Scott
OCLC-nummer: 5265360
Opmerkingen: Cover title.
Reprinted from the SIAM journal on computing, v. 5.
Beschrijving: pages 522-587 ; 25 cm.
Serietitel: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Verantwoordelijkheid: by Dana Scott.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/5265360> # Data types as lattices
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "5265360" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/16359827#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.worldcat.org/fast/993426> ; # Lattice theory
   schema:about <http://dewey.info/class/001.6424/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.worldcat.org/fast/936126> ; # Functions, Continuous
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/semantik> ; # Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/mathematik> ; # Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/kontinuierliches_gitter> ; # Kontinuierliches Gitter
   schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/16359827#Person/scott_dana_s> ; # Dana S. Scott
   schema:datePublished "1976" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/16359827> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/16359827#Series/technical_monograph_oxford_university_computing_laboratory_programming_research_group> ; # Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
   schema:name "Data types as lattices"@en ;
   schema:productID "5265360" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/5265360#PublicationEvent/oxford_oxford_university_computing_laboratory_programming_research_group_1976> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/16359827#Agent/oxford_university_computing_laboratory_programming_research_group> ; # Oxford University Computing Laboratory, Programming Research Group
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/5265360> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/16359827#Agent/oxford_university_computing_laboratory_programming_research_group> # Oxford University Computing Laboratory, Programming Research Group
    a bgn:Agent ;
   schema:name "Oxford University Computing Laboratory, Programming Research Group" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Person/scott_dana_s> # Dana S. Scott
    a schema:Person ;
   schema:familyName "Scott" ;
   schema:givenName "Dana S." ;
   schema:name "Dana S. Scott" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Series/technical_monograph_oxford_university_computing_laboratory_programming_research_group> # Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/5265360> ; # Data types as lattices
   schema:name "Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;" ;
   schema:name "Technical monograph - Oxford University Computing Laboratory Programming Research Group ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Topic/kontinuierliches_gitter> # Kontinuierliches Gitter
    a schema:Intangible ;
   schema:name "Kontinuierliches Gitter"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
   schema:name "Programmiersprache"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/936126> # Functions, Continuous
    a schema:Intangible ;
   schema:name "Functions, Continuous"@en ;
    .

<http://id.worldcat.org/fast/993426> # Lattice theory
    a schema:Intangible ;
   schema:name "Lattice theory"@en ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.