skip to content
11th Annual IEEE Symposium on Logic in Computer Science : proceedings, July 27-30, 1996, New Brunswick, New Jersey Preview this item
ClosePreview this item
Checking...

11th Annual IEEE Symposium on Logic in Computer Science : proceedings, July 27-30, 1996, New Brunswick, New Jersey

Author: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Automata and Computability Theory.
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, ©1996.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Proceedings of the August 1996 symposium on [title] addressing both theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and  Read more...

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.; ACM Special Interest Group for Automata and Computability Theory.
ISBN: 0780336542 9780780336544 0818674636 9780818674631 0780336550 9780780336551
OCLC Number: 35522544
Notes: "IEEE catalog number 96CH35952"--Title page verso.
Description: xv, 535 pages : illustrations ; 28 cm
Other Titles: Logic in computer science
1996 IEEE 11th Annual Symposium on Logic in Computer Science
Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science
Eleventh Annual IEEE Symposium on Logic in Computer Science
Responsibility: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory [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/35522544> # 11th Annual IEEE Symposium on Logic in Computer Science : proceedings, July 27-30, 1996, New Brunswick, New Jersey
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "35522544" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1152073455#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://dewey.info/class/005.131/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1152073455#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1152073455#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/1152073455#Topic/informatique_mathematiques_congres> ; # Informatique--Mathématiques--Congrès
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1152073455#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:alternateName "Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science" ;
   schema:alternateName "Logic in computer science" ;
   schema:alternateName "Eleventh Annual IEEE Symposium on Logic in Computer Science" ;
   schema:alternateName "1996 IEEE 11th Annual Symposium on Logic in Computer Science" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/155801218> ; # IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
   schema:contributor <http://viaf.org/viaf/133109056> ; # ACM Special Interest Group for Automata and Computability Theory.
   schema:copyrightYear "1996" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1152073455#Meeting/symposium_on_logic_in_computer_science_11th_1996_new_brunswick_n_j> ; # Symposium on Logic in Computer Science (11th : 1996 : New Brunswick, N.J.)
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1152073455> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "11th Annual IEEE Symposium on Logic in Computer Science : proceedings, July 27-30, 1996, New Brunswick, New Jersey"@en ;
   schema:productID "35522544" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/35522544#PublicationEvent/los_alamitos_calif_ieee_computer_society_press_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1152073455#Agent/ieee_computer_society_press> ; # IEEE Computer Society Press
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=4265> ;
   schema:workExample <http://worldcat.org/isbn/9780818674631> ;
   schema:workExample <http://worldcat.org/isbn/9780780336551> ;
   schema:workExample <http://worldcat.org/isbn/9780780336544> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/35522544> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1152073455#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/1152073455#Meeting/symposium_on_logic_in_computer_science_11th_1996_new_brunswick_n_j> # Symposium on Logic in Computer Science (11th : 1996 : New Brunswick, N.J.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1152073455#Place/new_brunswick_n_j> ; # New Brunswick, N.J.)
   schema:name "Symposium on Logic in Computer Science (11th : 1996 : New Brunswick, N.J.)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1152073455#Place/new_brunswick_n_j> # New Brunswick, N.J.)
    a schema:Place ;
   schema:name "New Brunswick, N.J.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1152073455#Topic/informatique_mathematiques_congres> # Informatique--Mathématiques--Congrès
    a schema:Intangible ;
   schema:name "Informatique--Mathématiques--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1152073455#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique--Congrès"@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/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/133109056> # ACM Special Interest Group for Automata and Computability Theory.
    a schema:Organization ;
   schema:name "ACM Special Interest Group for Automata and Computability Theory." ;
    .

<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/9780780336544>
    a schema:ProductModel ;
   schema:isbn "0780336542" ;
   schema:isbn "9780780336544" ;
    .

<http://worldcat.org/isbn/9780780336551>
    a schema:ProductModel ;
   schema:isbn "0780336550" ;
   schema:isbn "9780780336551" ;
    .

<http://worldcat.org/isbn/9780818674631>
    a schema:ProductModel ;
   schema:isbn "0818674636" ;
   schema:isbn "9780818674631" ;
    .

<http://www.worldcat.org/title/-/oclc/35522544>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/35522544> ; # 11th Annual IEEE Symposium on Logic in Computer Science : proceedings, July 27-30, 1996, New Brunswick, New Jersey
   schema:dateModified "2017-10-21" ;
   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.