skip to content
Logic in computer science : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark Preview this item
ClosePreview this item
Checking...

Logic in computer science : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark

Author: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publisher: Los Alamitos, Calif. : IEEE Computer Society, ©2002.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This text contains information on computational mathematics and complexity theory as presented at the 17th Annual IEEE Symposium on Logic in Computer Science.

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
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
ISBN: 0769514839 9780769514833 0769514855 9780769514857
OCLC Number: 50264183
Notes: "IEEE Computer Society Order Number PR01483"--Title page verso.
Description: xiii, 461 pages : illustrations ; 28 cm
Other Titles: Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science
LICS 2002
Responsibility: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing [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/50264183> # Logic in computer science : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "50264183" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1154354980#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/1154354980#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1154354980#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:alternateName "Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science" ;
   schema:alternateName "LICS 2002" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/155801218> ; # IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1154354980#Meeting/federated_logic_conference_3rd_2002_copenhagen_denmark> ; # Federated Logic Conference (3rd : 2002 : Copenhagen, Denmark)
   schema:copyrightYear "2002" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1154354980#Meeting/symposium_on_logic_in_computer_science_17th_2002_copenhagen_denmark> ; # Symposium on Logic in Computer Science (17th : 2002 : Copenhagen, Denmark)
   schema:datePublished "2002" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1154354980> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Logic in computer science : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark"@en ;
   schema:productID "50264183" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/50264183#PublicationEvent/los_alamitos_calif_ieee_computer_society_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1154354980#Agent/ieee_computer_society> ; # IEEE Computer Society
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=8005> ;
   schema:workExample <http://worldcat.org/isbn/9780769514857> ;
   schema:workExample <http://worldcat.org/isbn/9780769514833> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/50264183> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1154354980#Meeting/federated_logic_conference_3rd_2002_copenhagen_denmark> # Federated Logic Conference (3rd : 2002 : Copenhagen, Denmark)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1154354980#Place/copenhagen_denmark> ; # Copenhagen, Denmark)
   schema:name "Federated Logic Conference (3rd : 2002 : Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1154354980#Meeting/symposium_on_logic_in_computer_science_17th_2002_copenhagen_denmark> # Symposium on Logic in Computer Science (17th : 2002 : Copenhagen, Denmark)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1154354980#Place/copenhagen_denmark> ; # Copenhagen, Denmark)
   schema:name "Symposium on Logic in Computer Science (17th : 2002 : Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1154354980#Place/copenhagen_denmark> # Copenhagen, Denmark)
    a schema:Place ;
   schema:name "Copenhagen, Denmark)" ;
    .

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

<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/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/155801218> # IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
    a schema:Organization ;
   schema:name "IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing." ;
    .

<http://worldcat.org/isbn/9780769514833>
    a schema:ProductModel ;
   schema:isbn "0769514839" ;
   schema:isbn "9780769514833" ;
    .

<http://worldcat.org/isbn/9780769514857>
    a schema:ProductModel ;
   schema:isbn "0769514855" ;
   schema:isbn "9780769514857" ;
    .

<http://www.worldcat.org/title/-/oclc/50264183>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/50264183> ; # Logic in computer science : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark
   schema:dateModified "2017-10-22" ;
   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.