Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
tarafından
 
Bonacina, Maria Paola. editor.

Başlık
: 
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Yazar
: 
Bonacina, Maria Paola. editor.

ISBN
: 
9783642385742

Fiziksel Tanımlama
: 
XVI, 466 p. 95 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7898

Konu Terimleri
: 
Computer science.
 
Software engineering.
 
Computer software.
 
Logic design.
 
Artificial intelligence.
 
Artificial Intelligence (incl. Robotics).
 
Mathematical Logic and Formal Languages.
 
Logics and Meanings of Programs.
 
Algorithm Analysis and Problem Complexity.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-38574-2


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap334626-1001ONLINE(334626.1)Elektronik Kütüphane