Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, july 25-29, 2016 /: 9th International Conference, CICM 2016, Bialystok, Poland, july 25-29, 2016. (2020)

• Record Type: Book
• Further Information: Note: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa. (Eds).
• Editors: Kohlhase, Michael, 1964-; Johansson, Moa; Miller, Bruce (Bruce Cummings); Moura, Leonardo de; Tompa, Frank
• Other Names: CICM (Conference), 9th
• Contents: Invited Talks.- Full Papers.- System Descriptions and Datasets.- Abstracts of Invited Talks.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource (337 pages)
• Subjects: 006.30151; Artificial intelligence -- Mathematics -- Congresses
• Languages: English
• ISBNs: 9783030535186
• Related ISBNs: 9783030535179
• 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.