Başlık:
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Yazar:
Cerrito, Serenella. editor.
ISBN:
9783030290269
Basım Bilgisi:
1st ed. 2019.
Fiziksel Tanımlama:
XXI, 477 p. 2851 illus., 28 illus. in color. online resource.
Seri:
Lecture Notes in Artificial Intelligence ; 11714
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-030-29026-9Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 483605-1001 | ONLINE | Arıyor... | Arıyor... |