skip to content
Mathematical logic in computer science Preview this item
ClosePreview this item
Checking...

Mathematical logic in computer science

Author: B Dömölki; T Gergely; Bolyai János Matematikai Társulat.
Publisher: Amsterdam ; New York : North-Holland Pub. Co., 1981.
Series: Colloquia mathematica Societatis János Bolyai, 26.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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: Kongress
Kongreß
Additional Physical Format: Online version:
Mathematical logic in computer science.
Amsterdam ; New York : North-Holland Pub. Co., 1981
(OCoLC)622804802
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: B Dömölki; T Gergely; Bolyai János Matematikai Társulat.
ISBN: 0444854401 9780444854407 9638021462 9789638021465
OCLC Number: 8306779
Notes: Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
Description: 758 pages : illustrations ; 25 cm.
Series Title: Colloquia mathematica Societatis János Bolyai, 26.
Responsibility: edited by B. Dömölki and T. Gergely.

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/8306779> # Mathematical logic in computer science
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "8306779" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/510048882#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/519.4/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/510048882#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/510048882#Thing/computer_systems> ; # Computer systems
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmierung> ; # Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/510048882#Topic/datenverarbeitung> ; # Datenverarbeitung
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/510048882#Topic/informatik> ; # Informatik
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/155264236> ; # Bolyai János Matematikai Társulat.
   schema:contributor <http://viaf.org/viaf/248371568> ; # B. Dömölki
   schema:contributor <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary> ; # Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)
   schema:contributor <http://viaf.org/viaf/94717468> ; # Tamás Gergely
   schema:datePublished "1981" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/510048882> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongreß"@en ;
   schema:genre "Kongress"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0139-3383> ; # Colloquia mathematica Societatis János Bolyai ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/622804802> ;
   schema:name "Mathematical logic in computer science"@en ;
   schema:productID "8306779" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/8306779#PublicationEvent/amsterdam_new_york_north_holland_pub_co_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/510048882#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   schema:workExample <http://worldcat.org/isbn/9780444854407> ;
   schema:workExample <http://worldcat.org/isbn/9789638021465> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8211231> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/8306779> ;
    .


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/510048882#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
   schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary> # Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/510048882#Place/salgotarjan_hungary> ; # Salgótarján, Hungary)
   schema:name "Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)" ;
    .

<http://experiment.worldcat.org/entity/work/data/510048882#Place/salgotarjan_hungary> # Salgótarján, Hungary)
    a schema:Place ;
   schema:name "Salgótarján, Hungary)" ;
    .

<http://experiment.worldcat.org/entity/work/data/510048882#Thing/computer_systems> # Computer systems
    a schema:Thing ;
   schema:name "Computer systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/510048882#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@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/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/155264236> # Bolyai János Matematikai Társulat.
    a schema:Organization ;
   schema:name "Bolyai János Matematikai Társulat." ;
    .

<http://viaf.org/viaf/248371568> # B. Dömölki
    a schema:Person ;
   schema:familyName "Dömölki" ;
   schema:givenName "B." ;
   schema:name "B. Dömölki" ;
    .

<http://viaf.org/viaf/94717468> # Tamás Gergely
    a schema:Person ;
   schema:familyName "Gergely" ;
   schema:givenName "Tamás" ;
   schema:givenName "T." ;
   schema:name "Tamás Gergely" ;
    .

<http://worldcat.org/isbn/9780444854407>
    a schema:ProductModel ;
   schema:isbn "0444854401" ;
   schema:isbn "9780444854407" ;
    .

<http://worldcat.org/isbn/9789638021465>
    a schema:ProductModel ;
   schema:isbn "9638021462" ;
   schema:isbn "9789638021465" ;
    .

<http://worldcat.org/issn/0139-3383> # Colloquia mathematica Societatis János Bolyai ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/8306779> ; # Mathematical logic in computer science
   schema:issn "0139-3383" ;
   schema:name "Colloquia mathematica Societatis János Bolyai ;" ;
   schema:name "Colloquia mathematica societatis János Bolyai," ;
    .

<http://www.worldcat.org/oclc/622804802>
    a schema:CreativeWork ;
   rdfs:label "Mathematical logic in computer science." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/8306779> ; # Mathematical logic in computer science
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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