Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Redaktion: Beckert, Bernhard
Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
