Intelligent computer mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings / Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.).
2016
QA76.9.M35 I58 2016eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Intelligent computer mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings / Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.).
Meeting Name
CICM (Conference) (9th : 2016 : Bialystok, Poland)
ISBN
9783319425474 (electronic book)
3319425471 (electronic book)
9783319425467
3319425471 (electronic book)
9783319425467
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xv, 384 pages) : illustrations (black and white).
Call Number
QA76.9.M35 I58 2016eb
Dewey Decimal Classification
004.01/51
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Added Author
Kohlhase, Michael, 1964- editor.
Johansson, Moa, editor.
Miller, Bruce, editor.
Moura, Leonardo de, editor.
Tompa, Frank, editor.
Johansson, Moa, editor.
Miller, Bruce, editor.
Moura, Leonardo de, editor.
Tompa, Frank, editor.
Series
Lecture notes in computer science. Lecture notes in artificial intelligence ; 9791.
LNCS sublibrary. SL 7, Artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources