skip to content
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers Preview this item
ClosePreview this item
Checking...

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers

Author: Edmund M Clarke; Andrei Voronkov
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 6355.
Edition/Format:   Computer file : English : Online-ausgView all editions and formats
Summary:

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook  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

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Edmund M Clarke; Andrei Voronkov
ISBN: 9783642175114 3642175112 9783642175107 3642175104
OCLC Number: 706050599
Reproduction Notes: Online-Ausg. Berlin [u.a.] Springer, 2010. online-Ressource.
Description: Seiten.
Series Title: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 6355.
Responsibility: edited by Edmund M. Clarke, 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/706050599> # Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "706050599" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4161731502#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Place/dakar_2010> ; # Dakar <2010>
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://dewey.info/class/006.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/logic_design> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/programmierlogik> ; # Programmierlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/4161731502#Topic/software_engineering> ; # Software engineering
   schema:author <http://viaf.org/viaf/8047455> ; # Andrei Voronkov
   schema:author <http://viaf.org/viaf/8050749> ; # Edmund M. Clarke
   schema:bookEdition "Online-ausg." ;
   schema:datePublished "2010" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4161731502> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4161731502#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4161731502#Series/springerlink_springer_e_books> ; # SpringerLink: Springer e-Books
   schema:name "Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers" ;
   schema:productID "706050599" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/706050599#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4161731502#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/978-3-642-17511-4> ;
   schema:url <http://www.springerlink.com/content/978-3-642-17511-4> ;
   schema:url <http://d-nb.info/1008917478/34> ;
   schema:url <http://sfx.metabib.ch/sfx_locater?sid=ALEPH:DSV01&genre=book&isbn=978-3-642-17511-4&id=doi:10.1007/978-3-642-17511-4> ;
   schema:url <http://swbplus.bsz-bw.de/bsz336594283cov.htm> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-2010120826> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-17511-4> ;
   schema:workExample <http://worldcat.org/isbn/9783642175107> ;
   schema:workExample <http://worldcat.org/isbn/9783642175114> ;
   umbel:isLike <http://d-nb.info/1008917478> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/706050599> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/4161731502#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/706050599> ; # Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4161731502#Series/springerlink_springer_e_books> # SpringerLink: Springer e-Books
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/706050599> ; # Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers
   schema:name "SpringerLink: Springer e-Books" ;
    .

<http://experiment.worldcat.org/entity/work/data/4161731502#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

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

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

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

<http://experiment.worldcat.org/entity/work/data/4161731502#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<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/8047455> # Andrei Voronkov
    a schema:Person ;
   schema:familyName "Voronkov" ;
   schema:givenName "Andrei" ;
   schema:name "Andrei Voronkov" ;
    .

<http://viaf.org/viaf/8050749> # Edmund M. Clarke
    a schema:Person ;
   schema:familyName "Clarke" ;
   schema:givenName "Edmund M." ;
   schema:name "Edmund M. Clarke" ;
    .

<http://worldcat.org/isbn/9783642175107>
    a schema:ProductModel ;
   schema:isbn "3642175104" ;
   schema:isbn "9783642175107" ;
    .

<http://worldcat.org/isbn/9783642175114>
    a schema:ProductModel ;
   schema:isbn "3642175112" ;
   schema:isbn "9783642175114" ;
    .

<http://www.worldcat.org/title/-/oclc/706050599>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/706050599> ; # Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers
   schema:dateModified "2017-12-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.