Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
tarafından
McMillan, Ken. editor.
Başlık
:
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Yazar
:
McMillan, Ken. editor.
ISBN
:
9783642452215
Fiziksel Tanımlama
:
XIV, 794 p. 178 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 8312
Konu Terimleri
:
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Yazar Ek Girişi
:
Middeldorp, Aart.
Voronkov, Andrei.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 335196-1001 | ONLINE(335196.1) | | Elektronik Kütüphane |