Manfred Kerber | Akateeminen Kirjakauppa

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

Symbolic Computation and Automated Reasoning - The CALCULEMUS-2000 Symposium

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

122,40 €

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

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

51,10 €

Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg,

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

51,10 €

Computational Logic — CL 2000 - First International Conference London, UK, July 24–28, 2000 Proceedings

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

51,10 €

Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

Dubois, Catherine; Kerber, Manfred
Springer
2023
Pehmeäkantinen kirja

76,00 €