Automated Reasoning
de Christoph Benzmüller, Marijn Heule, Renate A. Schmidt
Ediciones (2)
- Automated Reasoning (2024)
Springer · inglés · ISBN 9783031635007
- Automated Reasoning (2024)
Springer · inglés · ISBN 9783031634970
de Christoph Benzmüller, Marijn Heule, Renate A. Schmidt
Springer · inglés · ISBN 9783031635007
Springer · inglés · ISBN 9783031634970
