Towards Mechanized Mathematical Assistants
Editat de Manuel Kauers et al.
19 iun 2007
Paperback
Preț: 398.92 lei
6-8 săpt.
Cărți de Manfred Kerber
Intelligent Computer Mathematics
Editat de Catherine Dubois et al.
31 aug 2023
Paperback
Preț: 508.59 lei 635.74 lei
6-8 săpt.
-20%
Computational Logic - CL 2000
Editat de John Lloyd et al.
17 iul 2000
Paperback
Preț: 476.55 lei 595.68 lei
38-44 zile
-20%
Intelligent Computer Mathematics
Editat de Manfred Kerber et al.
29 iun 2015
Paperback
Preț: 396.47 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ț: 666.73 lei 953.92 lei
Indisponibil temporar
-30%