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.

Tekijä: Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Florian Rabe; Volker Sorge
Kustantaja: Springer International Publishing AG (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Manuel Kauers (ed.); Manfred Kerber (ed.); Robert Miner (ed.); Wolfgang Windsteiger (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

SYMBOLIC COMPUTATION & AUTO REASON

Tekijä: Manfred Kerber; Michael Kohlhase
Kustantaja: Taylor & Francis Inc (2001)
Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa

EUR 114,70

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

Tekijä: John Lloyd; Veronica Dahl; Ulrich Furbach; Manfred Kerber; Kung-Kiu Lau; Catuscia Palamidessi; Luis M. Pereira; Ye Sagiv
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Catherine Dubois; Manfred Kerber
Kustantaja: Springer International Publishing AG (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 65,00

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

49,60 €

Springer International Publishing AG
Sivumäärä: 359 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015
Julkaisuvuosi: 2015, 29.06.2015 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus