Automated Deduction - CADE 26 (eBook, PDF)
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Redaktion: De Moura, Leonardo
Versandkostenfrei!
Sofort per Download lieferbar
65,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
33 °P sammeln!
The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
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
