Hoppa till sidans huvudinnehåll

Intelligent Computer Mathematics

9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Häftad, Engelska, 2016

Av Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa, Leonardo De Moura

619 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
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.

Produktinformation

  • Utgivningsdatum2016-07-12
  • Mått155 x 235 x 11 mm
  • Vikt283 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor163
  • FörlagSpringer International Publishing AG
  • ISBN9783319425467

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Juliano Iyoda, Leonardo de Moura, Leonardo De Moura

679 kr

Automated Deduction – CADE 26

Automated Deduction – CADE 26

Leonardo de Moura, Leonardo De Moura

1 169 kr

Avtryck : en textsamling om kärlek, smärta och saknad

Avtryck : en textsamling om kärlek, smärta och saknad

Moa Johansson

129 kr

Communicating with XML

Communicating with XML

Airi Salminen, Frank Tompa

739 kr

Perspectives on Business Intelligence

Perspectives on Business Intelligence

Raymond T. Ng, Patricia C. Arocena, Denilson Barbosa, Giuseppe Carenini, Luiz Gomes, Stephan Jou, Anthony Leung, Evangelos Milios, Renée J. Miller, John Mylopoulos, Rachel A Pottinger, Frank Tompa, Eric Yu, Renee J. Miller

489 kr

Communicating with XML

Communicating with XML

Airi Salminen, Frank Tompa

729 kr

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

José Júlio Alferes, Moa Johansson

729 kr

Symbolic Computation and Automated Reasoning

Symbolic Computation and Automated Reasoning

Manfred Kerber, Michael Kohlhase

1 669 kr

Artificial Intelligence. ECAI 2023 International Workshops

Artificial Intelligence. ECAI 2023 International Workshops

Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova, Slawomir Nowaczyk, Przemyslaw Biecek, Pawel Skruch, Martin Atzmuller, Tomas Kliegr, S¿awomir Nowaczyk, Tomá¿ Kliegr, Roland van Dierendonck, Przemys¿aw Biecek, Pawe¿ Skruch

1 629 kr

KI 2006

KI 2006

Christian Freksa, Michael Kohlhase, Kerstin Schill

709 kr