Cărți de Manfred Kerber

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

Lecture Notes in Computer Science, nr. 14101

Editat de Catherine Dubois et al.

31 aug 2023

Preț: 448^.71 lei 560^.88 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 9150

Editat de Manfred Kerber et al.

29 iun 2015

Preț: 336^.67 lei 420^.84 lei

43-57 zile

-20%

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4573

Editat de Manuel Kauers et al.

19 iun 2007

Preț: 397^.76 lei

43-57 zile

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Editat de Manfred Kerber et al.

2 apr 2001

Preț: 481^.89 lei 697^.90 lei

43-57 zile

-31%

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

Lecture Notes in Computer Science, nr. 1861

Editat de John Lloyd et al.

17 iul 2000

Preț: 415^.74 lei 519^.67 lei

38-44 zile

-20%