65,95 €
65,95 €
inkl. MwSt.
Sofort per Download lieferbar
33 °P sammeln
65,95 €
Als Download kaufen
65,95 €
inkl. MwSt.
Sofort per Download lieferbar
33 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
65,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
33 °P sammeln
Andere Kunden interessierten sich auch für
![Automated Deduction - CADE-25 (eBook, PDF)]( "Automated Deduction - CADE-25 (eBook, PDF)")
Automated Deduction - CADE-25 (eBook, PDF)40,95 €![Automated Deduction -- CADE-24 (eBook, PDF)]( "Automated Deduction -- CADE-24 (eBook, PDF)")
Automated Deduction -- CADE-24 (eBook, PDF)40,95 €![Automated Reasoning (eBook, PDF)]( "Automated Reasoning (eBook, PDF)")
Automated Reasoning (eBook, PDF)65,95 €![Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)]( "Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)")
Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)40,95 €![Automated Deduction - CADE 27 (eBook, PDF)]( "Automated Deduction - CADE 27 (eBook, PDF)")
Automated Deduction - CADE 27 (eBook, PDF)65,95 €![Automated Deduction - CADE-20 (eBook, PDF)]( "Automated Deduction - CADE-20 (eBook, PDF)")
Automated Deduction - CADE-20 (eBook, PDF)40,95 €![Logic and Its Applications (eBook, PDF)]( "Logic and Its Applications (eBook, PDF)")
Logic and Its Applications (eBook, PDF)40,95 €
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.