Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: AISC 2018
• Further Information: Note: Edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.
• Editors: Fleuriot, Jacques, 1972-; Wang, Dongming, 1961-; Calmet, Jacques
• Other Names: AISC (Conference), 13th
• Contents: Artificial Intelligence, Theorem Proving and SAT Solving.- Symbolic and Numerical Computation.- Intelligent Documents and Collective Intelligence.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (x, 269 pages), illustrations
• Subjects: 006.3; Computer science; Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses; Computers -- Data Processing; Mathematics -- Logic; Computers -- Information Technology; Maths for computer scientists; Mathematical theory of computation; Information retrieval; Artificial intelligence; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books
• Languages: English
• ISBNs: 9783319999579; 3319999575
• Related ISBNs: 9783319999562
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed August 28, 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.