skip to content
Report on the programming language Euclid Preview this item
ClosePreview this item
Checking...

Report on the programming language Euclid

Author: Butler W Lampson; Xerox Corporation. Palo Alto Research Center.
Publisher: Palo Alto : Xerox, Palo Alto Research Center, 1981.
Series: Xerox, Palo Alto Research Center technical report.
Edition/Format:   Print book : English : "Fourth version.View all editions and formats
Database:WorldCat
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

Document Type: Book
All Authors / Contributors: Butler W Lampson; Xerox Corporation. Palo Alto Research Center.
OCLC Number: 8413244
Description: 80 pages ; 28 cm.
Series Title: Xerox, Palo Alto Research Center technical report.
Responsibility: by Butler W. Lampson [and others].

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/8413244> # Report on the programming language Euclid
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "8413244" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/31586101#Place/palo_alto> ; # Palo Alto
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://id.loc.gov/authorities/subjects/sh85010111> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/31586101#Topic/euclid_computer_program_language> ; # EUCLID (Computer program language)
    schema:bookEdition ""Fourth version."" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/37493691> ; # Butler W. Lampson
    schema:contributor <http://viaf.org/viaf/138581110> ; # Xerox Corporation. Palo Alto Research Center.
    schema:datePublished "1981" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/31586101> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/31586101#Series/xerox_palo_alto_research_center_technical_report> ; # Xerox, Palo Alto Research Center technical report.
    schema:name "Report on the programming language Euclid"@en ;
    schema:productID "8413244" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/8413244#PublicationEvent/palo_alto_xerox_palo_alto_research_center_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/31586101#Agent/xerox_palo_alto_research_center> ; # Xerox, Palo Alto Research Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/8413244> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/31586101#Agent/xerox_palo_alto_research_center> # Xerox, Palo Alto Research Center
    a bgn:Agent ;
    schema:name "Xerox, Palo Alto Research Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/31586101#Series/xerox_palo_alto_research_center_technical_report> # Xerox, Palo Alto Research Center technical report.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/8413244> ; # Report on the programming language Euclid
    schema:name "Xerox, Palo Alto Research Center technical report." ;
    schema:name "Xerox, Palo Alto Research Center technical report" ;
    .

<http://experiment.worldcat.org/entity/work/data/31586101#Topic/euclid_computer_program_language> # EUCLID (Computer program language)
    a schema:Intangible ;
    schema:name "EUCLID (Computer program language)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85010111> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/138581110> # Xerox Corporation. Palo Alto Research Center.
    a schema:Organization ;
    schema:name "Xerox Corporation. Palo Alto Research Center." ;
    .

<http://viaf.org/viaf/37493691> # Butler W. Lampson
    a schema:Person ;
    schema:familyName "Lampson" ;
    schema:givenName "Butler W." ;
    schema:name "Butler W. Lampson" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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