skip to content
Equational logic as a programming language Preview this item
ClosePreview this item
Checking...

Equational logic as a programming language

Author: Michael J O'Donnell
Publisher: Cambridge, Mass. : MIT Press, ©1985.
Series: MIT Press series in the foundations of computing.
Edition/Format:   Print book : 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

Additional Physical Format: Online version:
O'Donnell, Michael J., 1952-
Equational logic as a programming language.
Cambridge, Mass. : MIT Press, ©1985
(OCoLC)559228300
Document Type: Book
All Authors / Contributors: Michael J O'Donnell
ISBN: 026215028X 9780262150286
OCLC Number: 11599858
Description: 296 pages : illustrations ; 24 cm.
Series Title: MIT Press series in the foundations of computing.
Responsibility: Michael J. O'Donnell.
More information:

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/11599858> # Equational logic as a programming language
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "11599858" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/143668241#Place/cambridge_mass> ; # Cambridge, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://dewey.info/class/005.131/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/143668241#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/143668241#Topic/langages_de_programmation> ; # Langages de programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/143668241#Topic/equations_theorie_des> ; # Équations, Théorie des
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/143668241#Thing/computer_systems> ; # Computer systems
   schema:about <http://id.worldcat.org/fast/914519> ; # Equations, Theory of
   schema:about <http://dewey.info/class/001.6424/e19/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1985" ;
   schema:creator <http://viaf.org/viaf/108124566> ; # Michael J. O'Donnell
   schema:datePublished "1985" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/143668241> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/143668241#Series/mit_press_series_in_the_foundations_of_computing> ; # MIT Press series in the foundations of computing.
   schema:isSimilarTo <http://www.worldcat.org/oclc/559228300> ;
   schema:name "Equational logic as a programming language"@en ;
   schema:productID "11599858" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/11599858#PublicationEvent/cambridge_mass_mit_press_1985> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/143668241#Agent/mit_press> ; # MIT Press
   schema:workExample <http://worldcat.org/isbn/9780262150286> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8715015> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/11599858> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/143668241#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/143668241#Series/mit_press_series_in_the_foundations_of_computing> # MIT Press series in the foundations of computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/11599858> ; # Equational logic as a programming language
   schema:name "MIT Press series in the foundations of computing." ;
   schema:name "MIT Press series in the foundations of computing" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/143668241#Topic/equations_theorie_des> # Équations, Théorie des
    a schema:Intangible ;
   schema:name "Équations, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/143668241#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
   schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/143668241#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://id.worldcat.org/fast/914519> # Equations, Theory of
    a schema:Intangible ;
   schema:name "Equations, Theory of"@en ;
    .

<http://viaf.org/viaf/108124566> # Michael J. O'Donnell
    a schema:Person ;
   schema:birthDate "1952" ;
   schema:familyName "O'Donnell" ;
   schema:givenName "Michael J." ;
   schema:name "Michael J. O'Donnell" ;
    .

<http://worldcat.org/isbn/9780262150286>
    a schema:ProductModel ;
   schema:isbn "026215028X" ;
   schema:isbn "9780262150286" ;
    .

<http://www.worldcat.org/oclc/559228300>
    a schema:CreativeWork ;
   rdfs:label "Equational logic as a programming language." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/11599858> ; # Equational logic as a programming language
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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