skip to content
Logic in Computer Science, 7th Conference (LICS '92). Preview this item
ClosePreview this item
Checking...

Logic in Computer Science, 7th Conference (LICS '92).

Publisher: Los Alamitos : IEEE Computer Society Press Oct. 1992.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
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: Congresses
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
ISBN: 9780818627354 0818627352
OCLC Number: 812648053
Language Note: English.
Description: 1 online resource (488 pages)

Abstract:

The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/812648053> # Logic in Computer Science, 7th Conference (LICS '92).
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "812648053" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1171923840#Place/los_alamitos> ; # Los Alamitos
   schema:about <http://experiment.worldcat.org/entity/work/data/1171923840#Topic/computers> ; # Computers
   schema:about <http://experiment.worldcat.org/entity/work/data/1171923840#Topic/logic_programming> ; # Logic Programming
   schema:bookFormat schema:EBook ;
   schema:datePublished "1992" ;
   schema:datePublished "Oct. 1992" ;
   schema:description "The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1171923840> ;
   schema:inLanguage "en" ;
   schema:name "Logic in Computer Science, 7th Conference (LICS '92)."@en ;
   schema:productID "812648053" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/812648053#PublicationEvent/los_alamitos_ieee_computer_society_pressoct_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1171923840#Agent/ieee_computer_society_press> ; # IEEE Computer Society Press
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=402> ;
   schema:url <http://ezproxy.uis.edu:2048/login?url=http://ieeexplore.ieee.org/servlet/opac?punumber=402> ;
   schema:workExample <http://worldcat.org/isbn/9780818627354> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/812648053> ;
    .


Related Entities

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

<http://worldcat.org/isbn/9780818627354>
    a schema:ProductModel ;
   schema:isbn "0818627352" ;
   schema:isbn "9780818627354" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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