Başlık:
Constraint Solving and Planning with Picat
Yazar:
Zhou, Neng-Fa. author.
ISBN:
9783319258836
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XI, 148 p. 40 illus., 31 illus. in color. online resource.
Seri:
SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,
İçerik:
An Overview of Picat -- Basic Constraint Modeling -- Advanced Constraint Modeling -- Dynamic Programming with Tabling -- From Dynamic Programming to Planning -- Planning with Resource-Bounded Search -- Encodings for the Traveling Salesman Problem -- Index.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-25883-6Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 518437-1001 | XX(518437.1) | Arıyor... | Arıyor... |