Automated reasoning and its applications
de Larry Wos, Robert Veroff, Gail W. Pieper
Materias
Ediciones (2)
- Automated Reasoning and Its Applications (1997)
MIT Press · inglés · ISBN 9780262303538
- Automated reasoning and its applications (1997)
MIT Press · inglés
Más obras de Larry Wos
