číslo produktu:114405
rezervuj6th Conference on Automated Deduction
Rok vydania: 1982
Vydavateľ: Springer
Kniha je momentálne nedostupná.
V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.
O knihe:
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: mäkká