skip to content
2017 32nd Annual ACM IEEE Symposium on Logic in Computer Science (LICS). Preview this item
ClosePreview this item
Checking...

2017 32nd Annual ACM IEEE Symposium on Logic in Computer Science (LICS).

Author: IEEE Staff,
Publisher: Piscataway : IEEE June 2017.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Suggested, but not exclusive, topics of interest include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: IEEE Staff,
ISBN: 9781509030194 1509030190
OCLC Number: 1012433383
Target Audience: Scholarly & Professional
Description: 1 online resource

Abstract:

Suggested, but not exclusive, topics of interest include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

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/1012433383> # 2017 32nd Annual ACM IEEE Symposium on Logic in Computer Science (LICS).
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1012433383" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4620017457#Place/piscataway> ; # Piscataway
    schema:about <http://experiment.worldcat.org/entity/work/data/4620017457#Topic/computer_programming> ; # Computer Programming
    schema:about <http://experiment.worldcat.org/entity/work/data/4620017457#Topic/electronic_data_processing> ; # Electronic Data Processing
    schema:about <http://experiment.worldcat.org/entity/work/data/4620017457#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic And Mathematical
    schema:author <http://experiment.worldcat.org/entity/work/data/4620017457#Organization/ieee_staff> ; # IEEE Staff,
    schema:bookFormat schema:EBook ;
    schema:contentRating "Scholarly & Professional" ;
    schema:datePublished "June 2017" ;
    schema:description "Suggested, but not exclusive, topics of interest include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4620017457> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:name "2017 32nd Annual ACM IEEE Symposium on Logic in Computer Science (LICS)."@en ;
    schema:productID "1012433383" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1012433383#PublicationEvent/piscataway_ieeejune_2017> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4620017457#Agent/ieee> ; # IEEE
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0001948532&T=marc&tab=BOOKS> ;
    schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=7999337> ;
    schema:url <https://ieeexplore.ieee.org/servlet/opac?punumber=7999337> ;
    schema:workExample <http://worldcat.org/isbn/9781509030194> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1012433383> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4620017457#Topic/computer_programming> # Computer Programming
    a schema:Intangible ;
    schema:name "Computer Programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4620017457#Topic/electronic_data_processing> # Electronic Data Processing
    a schema:Intangible ;
    schema:name "Electronic Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4620017457#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic And Mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic And Mathematical"@en ;
    .

<http://worldcat.org/isbn/9781509030194>
    a schema:ProductModel ;
    schema:isbn "1509030190" ;
    schema:isbn "9781509030194" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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