skip to content
First-order programming theories Preview this item
ClosePreview this item
Checking...

First-order programming theories

Author: T Gergely; Laszlo ÉUry
Publisher: Berlin ; New York : Springer-Verlag, ©1991.
Series: EATCS monographs on theoretical computer science, v. 24.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: T Gergely; Laszlo ÉUry
ISBN: 9780387299860 0387299866
OCLC Number: 652654908
Notes: Titre de l'écran-titre (visionné le Jan. 30, 2008).
In Springer Link (Monographies électroniques).
Versement en lot.
Description: 1 online resource (1 texte électronique).
Series Title: EATCS monographs on theoretical computer science, v. 24.
Responsibility: Tamas Gergely, Laszlo éUry.

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/652654908> # First-order programming theories
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "652654908" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26452798#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/logica_e_semantica_de_programacao> ; # Logica e semantica de programacao
   schema:about <http://dewey.info/class/005.1/e22/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/112138688> ; # Laszlo ÉUry
   schema:copyrightYear "1991" ;
   schema:creator <http://viaf.org/viaf/94717468> ; # Tamas Gergely
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/26452798> ;
   schema:genre "Electronic books" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26452798#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science ;
   schema:name "First-order programming theories" ;
   schema:productID "652654908" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/652654908#PublicationEvent/berlin_new_york_springer_verlag_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26452798#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://dx.doi.org/10.1007/978-0-387-29986-0> ;
   schema:workExample <http://worldcat.org/isbn/9780387299860> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/652654908> ;
    .


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/26452798#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/652654908> ; # First-order programming theories
   schema:name "EATCS monographs on theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/logica_e_semantica_de_programacao> # Logica e semantica de programacao
    a schema:Intangible ;
   schema:name "Logica e semantica de programacao" ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming" ;
    .

<http://viaf.org/viaf/112138688> # Laszlo ÉUry
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "ÉUry" ;
   schema:givenName "Laszlo" ;
   schema:name "Laszlo ÉUry" ;
    .

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

<http://worldcat.org/isbn/9780387299860>
    a schema:ProductModel ;
   schema:isbn "0387299866" ;
   schema:isbn "9780387299860" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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