Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: WoLLIC 2017
• Further Information: Note: Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.).
• Editors: Kennedy, Juliette, 1955-; Queiroz, Ruy J. G. B. de
• Other Names: Workshop on Logic, Language, Information and Computation, 24th
• Contents: Logic and Language -- Logic and Information -- Computation -- Mathematical Logic -- Theory of Computation -- Model Theory. -- Proof Theory -- Type Theory. Computability Theory. -- Complexity Theory.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2017
• Extent: 1 online resource (x, 401 pages), illustrations
• Subjects: 005.13/1; Computer science; Logic, Symbolic and mathematical -- Congresses; Language and logic -- Congresses; Language and logic; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Algorithm Analysis and Problem Complexity; Computers -- Intelligence (AI) & Semantics; Computers -- Data Processing; Computers -- Programming -- Algorithms; Artificial intelligence; Maths for computer scientists; Algorithms & data structures; Artificial intelligence; Algebra_xData processing; Computer software; Mathematics -- Logic; Mathematical theory of computation; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662553862; 3662553864; 3662553856; 9783662553855
• Related ISBNs: 9783662553855
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed July 14, 2017).
• 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.