skip to content
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings Preview this item
ClosePreview this item
Checking...

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Author: Nikolaj Bjørner
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture notes in computer science, 7180.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Logic for programming, artificial intelligence, and reasoning.
Summary:

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.

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: Kongress
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Nikolaj Bjørner
ISBN: 9783642287169 3642287166 9783642287176 3642287174
OCLC Number: 785707411
Description: 1 online resource.
Series Title: Lecture notes in computer science, 7180.
Responsibility: edited by Nikolaj Bjørner, Andrei Voronkov.

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/785707411> # Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "785707411" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4922556696#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4922556696#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/4922556696#Topic/programmierlogik> ; # Programmierlogik
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4922556696#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/4922556696#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/173282203> ; # Nikolaj Bjørner
    schema:datePublished "2012" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4922556696> ;
    schema:genre "Kongress" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4922556696#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings" ;
    schema:productID "785707411" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/785707411#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4922556696#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <https://doi.org/10.1007/978-3-642-28717-6> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-28717-6> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-28717-6> ;
    schema:workExample <http://worldcat.org/isbn/9783642287176> ;
    schema:workExample <http://worldcat.org/isbn/9783642287169> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/785707411> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4922556696#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922556696#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922556696#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/785707411> ; # Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922556696#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
    schema:name "Automatisches Beweisverfahren" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922556696#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922556696#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
    schema:name "Logische Programmierung" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://viaf.org/viaf/173282203> # Nikolaj Bjørner
    a schema:Person ;
    schema:familyName "Bjørner" ;
    schema:givenName "Nikolaj" ;
    schema:name "Nikolaj Bjørner" ;
    .

<http://worldcat.org/isbn/9783642287169>
    a schema:ProductModel ;
    schema:isbn "3642287166" ;
    schema:isbn "9783642287169" ;
    .

<http://worldcat.org/isbn/9783642287176>
    a schema:ProductModel ;
    schema:isbn "3642287174" ;
    schema:isbn "9783642287176" ;
    .

<http://www.worldcat.org/title/-/oclc/785707411>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/785707411> ; # Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
    schema:dateModified "2018-05-17" ;
    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.