Automated Reasoning
de Alessandro Armando, Peter Baumgartner, Gilles Dowek
Ediciones (1)
- Automated Reasoning (2008)
Springer London, Limited · inglés · ISBN 9783540710707
de Alessandro Armando, Peter Baumgartner, Gilles Dowek
Springer London, Limited · inglés · ISBN 9783540710707
