컨텐츠로 이동
Data types as lattices 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Data types as lattices

저자: Dana S Scott
출판사: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1976.
시리즈: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
판/형식:   Print book : 영어모든 판과 형식 보기
데이터베이스:WorldCat
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

문서 형식:
모든 저자 / 참여자: Dana S Scott
OCLC 번호: 5265360
메모: Cover title.
Reprinted from the SIAM journal on computing, v. 5.
설명: pages 522-587 ; 25 cm.
일련 제목: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
책임: by Dana Scott.

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


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

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.