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ț: 435^.88 lei 544^.85 lei

6-8 săpt.

-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ț: 327^.09 lei 408^.86 lei

6-8 săpt.

-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ț: 386^.44 lei

6-8 săpt.

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Editat de Manfred Kerber et al.

2 apr 2001

Preț: 479^.13 lei 697^.89 lei

6-8 săpt.

-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^.72 lei 519^.65 lei

38-45 zile

-20%