6th Conference on Automated Deduction

číslo produktu:114405

rezervuj

6th Conference on Automated Deduction

Loveland

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.

Podrobnosti o titule (výrobné údaje):

Vydavateľstvo: Springer

Rok vydania: 1982

ISBN: 978-3-540-11558-8

(9783540115588)

Väzba: mäkká