Intelligent Computer Mathematics
Editat de Catherine Dubois et al.
31 aug 2023
Paperback
Preț: 489.00 lei 611.24 lei
6-8 săpt.
-20%
Cărți de Manfred Kerber
Towards Mechanized Mathematical Assistants
Editat de Manuel Kauers et al.
19 iun 2007
Paperback
Preț: 383.62 lei
6-8 săpt.
Intelligent Computer Mathematics
Editat de Manfred Kerber et al.
29 iun 2015
Paperback
Preț: 381.25 lei
6-8 săpt.
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
Editat de Manfred Kerber et al.
2 apr 2001
Hardback
Preț: 579.00 lei 842.61 lei
Indisponibil temporar
-31%