Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings. ([2015])

• Record Type: Book
• Further Information: Note: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (Eds.).
• Other Names: Davis, Martin; Fehnker, Ansgar editor of compilation.; McIver, Annabelle editor of compilation.; Voronkov, Andrei editor of compilation.; LPAR (Conference), 20th
• Publisher Details: Heidelberg : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource
• Subjects: 005.1; Computer logic -- Congresses; Computer science; Computer programming; Software engineering; Programming languages (Electronic computers); Computer logic; Logic, Symbolic and mathematical; Artificial intelligence; Artificial intelligence; Computer logic; Computer programming; Computer science; Logic, Symbolic and mathematical; Programming languages (Electronic computers); Software engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662488997
• Related ISBNs: 366248899X; 9783662488980; 3662488981
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.