Symbolic Computation and Automated Reasoning. The CALCULEMUS-2000 Symposium
- Título:
- Symbolic Computation and Automated Reasoning. The CALCULEMUS-2000 Symposium
- Materia:
- Computer Science
- Editor:
- A K Peters/CRC Press
- Descripción:
- 288 p.
- Identificadores:
- ISBN: 9780429064302
- Colección:
- Taylor Francis