Automated Reasoning
de Ulrich Furbach, Natarajan Shankar
Materias
Ediciones (2)
- Automated Reasoning (2007)
Springer · inglés · ISBN 9783540371878
de Ulrich Furbach, Natarajan Shankar
Springer · inglés · ISBN 9783540371878
Springer London, Limited · inglés · ISBN 9783540371885
