Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: WoLLIC 2018
• Further Information: Note: Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez (eds.).
• Editors: Moss, Lawrence Stuart, 1959-; Queiroz, Ruy J. G. B. de; Martinez, Maricarmen
• Other Names: Workshop on Logic, Language, Information and Computation, 25th
• Contents: Pure and applied logic. Formal Logic. Computing and Programming Theory. Natural Language and Reasoning.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2018
• Extent: 1 online resource (xviii, 325 pages), illustrations
• Subjects: 005.13/1; 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); Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Numeric Computing; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662576694; 3662576694
• Related ISBNs: 9783662576687; 3662576686
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed July 9, 2018).
• 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.