Automated Deduction CADE-20
Materias
Ediciones (2)
- Automated Deduction CADE-20 (2005)
Springer · inglés · ISBN 9783540280057
- Automated Deduction - CADE-20 (2005)
Springer London, Limited · inglés · ISBN 9783540318644
Springer · inglés · ISBN 9783540280057
Springer London, Limited · inglés · ISBN 9783540318644
