Başlık:
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Yazar:
Polkowski, Lech T. author.
ISBN:
9783031420344
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
XXXIII, 461 p. 31 illus. online resource.
Seri:
Intelligent Systems Reference Library, 245
İçerik:
Introduction: Prerequisites -- Sentential Logic -- Rudiments of First-order Logic -- Modal and Intuitionistic Logics -- Temporal Logics for linear and branching time and model checking -- Finitely and innitely valued logics -- Logics for programs and knowledge -- Beyond FO within SO.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-42034-4Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 528546-1001 | ONLINE | Arıyor... | Arıyor... |