Automated Deduction - Cade-12
de Alan Bundy · Publicada por primera vez en 1994
Ediciones (1)
- Automated Deduction - Cade-12 (1994)
Springer · inglés · ISBN 9783540581567
de Alan Bundy · Publicada por primera vez en 1994
Springer · inglés · ISBN 9783540581567
