skip to content
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings Preview this item
ClosePreview this item
Checking...

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Author: Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov; Springer-Verlag GmbH
Publisher: Berlin, Heidelberg Springer Berlin Heidelberg 2015
Series: Lecture Notes in Computer Science, 9450.
Edition/Format:   eBook : Document : German : 1st ed. 2015
Publication:Lecture Notes in Computer Science ; 9450
Summary:

This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular  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

Additional Physical Format: Erscheint auch als
Logic for Programming, Artificial Intelligence, and Reasoning
2016
XIV, 602 S. in 1 Teil
Druck-Ausgabe
(DE-101)1077329938
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov; Springer-Verlag GmbH
ISBN: 9783662488997 366248899X 9783662488980 3662488981
OCLC Number: 934158017
Notes: Lizenzpflichtig
Description: Online-Ressource.
Series Title: Lecture Notes in Computer Science, 9450.

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/934158017> # Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "934158017" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/bic_subject_heading_umz> ; # (BIC Subject Heading)UMZ
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/springer_subject_collection_suco11645_computer_science> ; # (Springer Subject Collection)SUCO11645: Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/bisac_subject_heading_com051230> ; # (BISAC Subject Heading)COM051230
    schema:about <http://dewey.info/class/004/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/produktform_electronic_book_text> ; # (Produktform)Electronic book text
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/conference_proceedings> ; # Conference Proceedings
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/springer_marketing_classification_c> ; # (Springer Marketing Classification)C
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/springer_subject_code_sci14029_software_engineering> ; # (Springer Subject Code)SCI14029: Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/informatics> ; # Informatics
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/zielgruppe_fachpublikum_wissenschaft> ; # (Zielgruppe)Fachpublikum/ Wissenschaft
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/applications> ; # Applications
    schema:about <http://experiment.worldcat.org/entity/work/data/4928250390#Thing/zielgruppe_research> ; # (Zielgruppe)Research
    schema:bookEdition "1st ed. 2015" ;
    schema:bookFormat schema:EBook ;
    schema:datePublished "2015" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4928250390#Person/fehnker_ansgar> ; # Ansgar Fehnker
    schema:editor <http://experiment.worldcat.org/entity/work/data/4928250390#Person/davis_martin> ; # Martin Davis
    schema:editor <http://experiment.worldcat.org/entity/work/data/4928250390#Person/voronkov_andrei> ; # Andrei Voronkov
    schema:editor <http://experiment.worldcat.org/entity/work/data/4928250390#Person/mciver_annabelle> ; # Annabelle McIver
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4928250390> ;
    schema:inLanguage "de" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4928250390#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4928250390#CreativeWork/logic_for_programming_artificial_intelligence_and_reasoning> ;
    schema:name "Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings"@de ;
    schema:productID "934158017" ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4928250390#Organization/springer_verlag_gmbh> ; # Springer-Verlag GmbH
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-20151202635> ;
    schema:url <http://www.springerlink.com/content/978-3-662-48899-7> ;
    schema:url <https://doi.org/10.1007/978-3-662-48899-7> ;
    schema:url <http://dx.doi.org/10.1007/978-3-662-48899-7> ;
    schema:workExample <http://worldcat.org/isbn/9783662488997> ;
    schema:workExample <http://worldcat.org/isbn/9783662488980> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-662-48899-7> ;
    umbel:isLike <http://d-nb.info/1079594779> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/934158017> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4928250390#Person/mciver_annabelle> # Annabelle McIver
    a schema:Person ;
    schema:familyName "McIver" ;
    schema:givenName "Annabelle" ;
    schema:name "Annabelle McIver" ;
    schema:sameAs <http://d-nb.info/gnd/124235387> ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934158017> ; # Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/bic_subject_heading_umz> # (BIC Subject Heading)UMZ
    a schema:Thing ;
    schema:name "(BIC Subject Heading)UMZ" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/bisac_subject_heading_com051230> # (BISAC Subject Heading)COM051230
    a schema:Thing ;
    schema:name "(BISAC Subject Heading)COM051230" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/computer_science> # Computer Science
    a schema:Thing ;
    schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/conference_proceedings> # Conference Proceedings
    a schema:Thing ;
    schema:name "Conference Proceedings" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/produktform_electronic_book_text> # (Produktform)Electronic book text
    a schema:Thing ;
    schema:name "(Produktform)Electronic book text" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/springer_marketing_classification_c> # (Springer Marketing Classification)C
    a schema:Thing ;
    schema:name "(Springer Marketing Classification)C" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/springer_subject_code_sci14029_software_engineering> # (Springer Subject Code)SCI14029: Software Engineering
    a schema:Thing ;
    schema:name "(Springer Subject Code)SCI14029: Software Engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/springer_subject_collection_suco11645_computer_science> # (Springer Subject Collection)SUCO11645: Computer Science
    a schema:Thing ;
    schema:name "(Springer Subject Collection)SUCO11645: Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/zielgruppe_fachpublikum_wissenschaft> # (Zielgruppe)Fachpublikum/ Wissenschaft
    a schema:Thing ;
    schema:name "(Zielgruppe)Fachpublikum/ Wissenschaft" ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Thing/zielgruppe_research> # (Zielgruppe)Research
    a schema:Thing ;
    schema:name "(Zielgruppe)Research" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4928250390#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/4928250390#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@de ;
    .

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

<http://worldcat.org/entity/work/data/4928250390#CreativeWork/logic_for_programming_artificial_intelligence_and_reasoning>
    a schema:CreativeWork ;
    rdfs:label "Logic for Programming, Artificial Intelligence, and Reasoning" ;
    schema:description "Erscheint auch als" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/934158017> ; # Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
    .

<http://worldcat.org/isbn/9783662488980>
    a schema:ProductModel ;
    schema:isbn "3662488981" ;
    schema:isbn "9783662488980" ;
    .

<http://worldcat.org/isbn/9783662488997>
    a schema:ProductModel ;
    schema:isbn "366248899X" ;
    schema:isbn "9783662488997" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934158017> ; # Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science" ;
    .

<http://www.worldcat.org/title/-/oclc/934158017>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/934158017> ; # Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, 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.