Automated Reasoning in Higher-Order Logic
Rodzaj okładki:
Inna
Czas wysyłki: 7 dni
EAN:
9781904987574
dodaj do listy życzeń