Manfred Kerber – författare

Visar alla böcker från författaren Manfred Kerber.

4 produkter

1. 

   Symbolic Computation and Automated Reasoning

   The CALCULEMUS-2000 Symposium

   Av Manfred Kerber, Michael Kohlhase

   Inbunden, 2001

   2569 kr

   Lägg i varukorg

2. 

   Intelligent Computer Mathematics

   16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

   Av Catherine Dubois, Manfred Kerber

   Häftad, 2023

   1029 kr

   Lägg i varukorg

3. 

   Intelligent Computer Mathematics

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

   Av Manfred Kerber, Jacques Carette m. fl.

   Häftad, 2015

   729 kr

   Lägg i varukorg

4. 

   Towards Mechanized Mathematical Assistants

   14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

   Av Manuel Kauers, Manfred Kerber m. fl.

   Häftad, 2007

   709 kr

   Lägg i varukorg