Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Redaktion: Swart, Harrie De
PAYBACK Punkte
33 °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
