skip to content
Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001 : Edinburgh, Scotland, UK : september 3-6, 2001 : proceedings Preview this item
ClosePreview this item
Checking...

Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001 : Edinburgh, Scotland, UK : september 3-6, 2001 : proceedings

Author: Richars J Boulton; Paul B Jackson
Publisher: Berlin : Springer, ©2001.
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: En línea
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Richars J Boulton; Paul B Jackson
ISBN: 354042525X 9783540425250
OCLC Number: 912329164
Description: x, 393 p. : il. ; 24 cm
Other Titles: Lecture notes in computer science.
International Conference on Theorem Proving in Higher Order Logics
14th International Conference on Theorem Proving in Higher Order Logics
TPHOLs 2001
Responsibility: Richard J. Boulton, Paul B. Jakson (eds.).

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/912329164> # Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001 : Edinburgh, Scotland, UK : september 3-6, 2001 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "912329164" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891830351#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/891830351#CreativeWork/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/891830351#Topic/teoremas_demostracion_automatica_congresos> ; # Teoremas--Demostración automática--Congresos
    schema:alternateName "TPHOLs 2001" ;
    schema:alternateName "International Conference on Theorem Proving in Higher Order Logics" ;
    schema:alternateName "14th International Conference on Theorem Proving in Higher Order Logics" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/891830351#Person/boulton_richars_j> ; # Richars J. Boulton
    schema:contributor <http://experiment.worldcat.org/entity/work/data/891830351#Person/jackson_paul_b> ; # Paul B. Jackson
    schema:copyrightYear "2001" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/891830351#Meeting/tphols_2001_14ª_2001_edinburgo_reino_unido> ; # TPHOLs 2001 (14ª. 2001. Edinburgo, Reino Unido)
    schema:datePublished "2001" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/891830351> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:name "Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001 : Edinburgh, Scotland, UK : september 3-6, 2001 : proceedings" ;
    schema:numberOfPages "393" ;
    schema:productID "912329164" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/912329164#PublicationEvent/berlin_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/891830351#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9783540425250> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/912329164> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/891830351#CreativeWork/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a schema:CreativeWork ;
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/891830351#Meeting/tphols_2001_14ª_2001_edinburgo_reino_unido> # TPHOLs 2001 (14ª. 2001. Edinburgo, Reino Unido)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/891830351#Place/edinburgo_reino_unido> ; # Edinburgo, Reino Unido)
    schema:name "TPHOLs 2001 (14ª. 2001. Edinburgo, Reino Unido)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891830351#Person/boulton_richars_j> # Richars J. Boulton
    a schema:Person ;
    schema:familyName "Boulton" ;
    schema:givenName "Richars J." ;
    schema:name "Richars J. Boulton" ;
    .

<http://experiment.worldcat.org/entity/work/data/891830351#Person/jackson_paul_b> # Paul B. Jackson
    a schema:Person ;
    schema:familyName "Jackson" ;
    schema:givenName "Paul B." ;
    schema:name "Paul B. Jackson" ;
    .

<http://experiment.worldcat.org/entity/work/data/891830351#Place/edinburgo_reino_unido> # Edinburgo, Reino Unido)
    a schema:Place ;
    schema:name "Edinburgo, Reino Unido)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891830351#Topic/teoremas_demostracion_automatica_congresos> # Teoremas--Demostración automática--Congresos
    a schema:Intangible ;
    schema:name "Teoremas--Demostración automática--Congresos" ;
    .

<http://worldcat.org/isbn/9783540425250>
    a schema:ProductModel ;
    schema:isbn "354042525X" ;
    schema:isbn "9783540425250" ;
    .

<http://www.worldcat.org/title/-/oclc/912329164>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/912329164> ; # Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001 : Edinburgh, Scotland, UK : september 3-6, 2001 : proceedings
    schema:dateModified "2019-04-16" ;
    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.