skip to content
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California Preview this item
ClosePreview this item
Checking...

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California

Author: Myla Archer; University of California, Davis.; University of Idaho.; University of British Columbia.
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, ©1992.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
International Workshop on the HOL Theorem Proving System and Its Applications (1991 : Davis, Calif.).
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California.
Los Alamitos, Calif. : IEEE Computer Society Press, ©1992
(OCoLC)645857895
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Myla Archer; University of California, Davis.; University of Idaho.; University of British Columbia.
ISBN: 0818624604 9780818624605 0818624612 9780818624612 0818624620 9780818624629
OCLC Number: 26749989
Notes: "IEEE Computer Society Press order number 2460"--Title page verso.
Description: xix, 411 pages : illustrations ; 28 cm
Other Titles: HOL Theorem Proving System and Its Applications, 1991, International Workshop on the.
Responsibility: edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA.

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/26749989> # Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "26749989" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/355144#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/355144#CreativeWork/hol_theorem_proving_system_and_its_applications_1991_international_workshop_on_the> ; # HOL Theorem Proving System and Its Applications, 1991, International Workshop on the.
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/355144#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3028553/e20/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/355144#Topic/hol> ; # HOL
   schema:about <http://experiment.worldcat.org/entity/work/data/355144#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/355144#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/355144#Topic/logic_congresses> ; # Logic,--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/355144#Topic/automatic_congresses> ; # Automatic--Congresses
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/355144#Organization/university_of_california_davis> ; # University of California, Davis.
   schema:contributor <http://viaf.org/viaf/58282256> ; # Myla Archer
   schema:contributor <http://viaf.org/viaf/124321963> ; # University of Idaho.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/355144#Organization/university_of_british_columbia> ; # University of British Columbia.
   schema:copyrightYear "1992" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/355144#Meeting/international_workshop_on_the_hol_theorem_proving_system_and_its_applications_1991_davis_calif> ; # International Workshop on the HOL Theorem Proving System and Its Applications (1991 : Davis, Calif.)
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/355144> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/645857895> ;
   schema:name "Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California"@en ;
   schema:productID "26749989" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/26749989#PublicationEvent/los_alamitos_calif_ieee_computer_society_press_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/355144#Agent/ieee_computer_society_press> ; # IEEE Computer Society Press
   schema:url <http://www.gbv.de/dms/bowker/toc/9780818624605.pdf> ;
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=4665> ;
   schema:workExample <http://worldcat.org/isbn/9780818624612> ;
   schema:workExample <http://worldcat.org/isbn/9780818624605> ;
   schema:workExample <http://worldcat.org/isbn/9780818624629> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/26749989> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/355144#Agent/ieee_computer_society_press> # IEEE Computer Society Press
    a bgn:Agent ;
   schema:name "IEEE Computer Society Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#CreativeWork/hol_theorem_proving_system_and_its_applications_1991_international_workshop_on_the> # HOL Theorem Proving System and Its Applications, 1991, International Workshop on the.
    a schema:CreativeWork ;
   schema:name "HOL Theorem Proving System and Its Applications, 1991, International Workshop on the." ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#Meeting/international_workshop_on_the_hol_theorem_proving_system_and_its_applications_1991_davis_calif> # International Workshop on the HOL Theorem Proving System and Its Applications (1991 : Davis, Calif.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/355144#Place/davis_calif> ; # Davis, Calif.)
   schema:name "International Workshop on the HOL Theorem Proving System and Its Applications (1991 : Davis, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#Organization/university_of_british_columbia> # University of British Columbia.
    a schema:Organization ;
   schema:name "University of British Columbia." ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#Organization/university_of_california_davis> # University of California, Davis.
    a schema:Organization ;
   schema:name "University of California, Davis." ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#Place/davis_calif> # Davis, Calif.)
    a schema:Place ;
   schema:name "Davis, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#Place/los_alamitos_calif> # Los Alamitos, Calif.
    a schema:Place ;
   schema:name "Los Alamitos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#Topic/automatic_congresses> # Automatic--Congresses
    a schema:Intangible ;
   schema:name "Automatic--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/355144#Topic/logic_congresses> # Logic,--Congresses
    a schema:Intangible ;
   schema:name "Logic,--Congresses"@en ;
    .

<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/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/124321963> # University of Idaho.
    a schema:Organization ;
   schema:name "University of Idaho." ;
    .

<http://viaf.org/viaf/58282256> # Myla Archer
    a schema:Person ;
   schema:familyName "Archer" ;
   schema:givenName "Myla" ;
   schema:name "Myla Archer" ;
    .

<http://worldcat.org/isbn/9780818624605>
    a schema:ProductModel ;
   schema:isbn "0818624604" ;
   schema:isbn "9780818624605" ;
    .

<http://worldcat.org/isbn/9780818624612>
    a schema:ProductModel ;
   schema:isbn "0818624612" ;
   schema:isbn "9780818624612" ;
    .

<http://worldcat.org/isbn/9780818624629>
    a schema:ProductModel ;
   schema:isbn "0818624620" ;
   schema:isbn "9780818624629" ;
    .

<http://www.worldcat.org/oclc/645857895>
    a schema:CreativeWork ;
   rdfs:label "Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/26749989> ; # Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
    .

<http://www.worldcat.org/title/-/oclc/26749989>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/26749989> ; # Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
   schema:dateModified "2017-03-31" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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