Manfred+Kerber | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?

INTELLIGENT COMPUTER MATHEMATICS - INTERNATIONAL CONFERENCE, CICM 2015, WASHINGTON, DC, USA, JULY 13-17, 2015, PROCEEDINGS.

Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Florian Rabe; Volker Sorge
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

51,40 €

SYMBOLIC COMPUTATION & AUTO REASON

Manfred Kerber; Michael Kohlhase
Taylor & Francis Inc (2001)
Kovakantinen kirja

123,40 €

TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS - 14TH SYMPOSIUM, CALCULEMUS 2007, 6TH INTERNATIONAL CONFERENCE, MKM 2007, HAGENBERG,

Manuel Kauers; Manfred Kerber; Robert Miner; Wolfgang Windsteiger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

COMPUTATIONAL LOGIC — CL 2000 - FIRST INTERNATIONAL CONFERENCE LONDON, UK, JULY 24–28, 2000 PROCEEDINGS

John Lloyd; Veronica Dahl; Ulrich Furbach; Manfred Kerber; Kung-Kiu Lau; Catuscia Palamidessi; Luis M. Pereira; Ye Sagiv
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja

51,40 €

INTELLIGENT COMPUTER MATHEMATICS - 16TH INTERNATIONAL CONFERENCE, CICM 2023, CAMBRIDGE, UK, , SEPTEMBER 5–8, 2023 PROCEEDINGS

Catherine Dubois; Manfred Kerber
Springer International Publishing AG (2023)
Pehmeäkantinen kirja

76,40 €

Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge

51,40 €

Springer International Publishing AG
Sivumäärä: 359 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015 ed.
Julkaisuvuosi: 2015, 29.06.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

LISÄÄ OSTOSKORIIN

Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus