Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Michael Kohlhase · Moa Johansson · Bruce Miller · Leonardo de Moura · Frank Tompa
jul. de 2016 · Springer
E-book
163
Páginas
reportAs notas e avaliações não são verificadas Saiba mais
Sobre este e-book
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
Avaliar este e-book
Diga o que você achou
Informações de leitura
Smartphones e tablets
Instale o app Google Play Livros para Android e iPad/iPhone. Ele sincroniza automaticamente com sua conta e permite ler on-line ou off-line, o que você preferir.
Laptops e computadores
Você pode ouvir audiolivros comprados no Google Play usando o navegador da Web do seu computador.
eReaders e outros dispositivos
Para ler em dispositivos de e-ink como os e-readers Kobo, é necessário fazer o download e transferir um arquivo para o aparelho. Siga as instruções detalhadas da Central de Ajuda se quiser transferir arquivos para os e-readers compatíveis.
