Başlık:
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Yazar:
de Moura, Leonardo. editor.
ISBN:
9783319630465
Basım Bilgisi:
1st ed. 2017.
Fiziksel Tanımlama:
XI, 582 p. 87 illus. online resource.
Seri:
Lecture Notes in Artificial Intelligence, 10395
Özet:
The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-63046-5Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 616315-1001 | ONLINE | Arıyor... | Arıyor... |