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

• 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; Moura, Leonardo de; Tompa, Frank
• Other Names: CICM (Conference), 9th
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xv, 384 pages), illustrations (black and white)
• Subjects: 004.01/51; Computer science; Computer science -- Mathematics -- Congresses; Artificial intelligence -- Mathematics -- Congresses; Artificial intelligence -- Mathematics; Computer science -- Mathematics; Mathematics -- Logic; Computers -- Programming -- General; Computers -- Software Development & Engineering -- General; Computers -- Programming Languages -- General; Computers -- Computer Simulation; Mathematical theory of computation; Computer programming / software development; Software Engineering; Programming & scripting languages: general; Computer modelling & simulation; Artificial intelligence; Logic design; Software engineering; Computer simulation; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319425474; 3319425471
• Related ISBNs: 9783319425467; 3319425463
• 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.