Tem uma conta?
Inicie sessão para finalizar a compra mais rápido.
A carregar...
🎁 Nemokamas pristatymas nuo 23 € 🎁
Christoph Benzmüller
Temos em stock
Não foi possível carregar a disponibilidade de recolha
Automated Reasoning by Christoph Benzmüller, Marijn Heule, Renate A. Schmidt.
Published by Springer, (2024), Paperback, 424 pages.
Automated Reasoning
