BOKREA 2026 Slutspurten är igång ❯
Lär dig mer om vår produktsortering och varför vissa produkter visas och prioriteras framför andra
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
AvAmy P. Felty,Aart Middeldorp
Häftad, Engelska, 2015
709 kr
Skickas inom 10-15 vardagar