číslo produktu:108723
rezervuj5th Conference on Automated Deduction
Rok vydania: 1980
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á