Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Voronkov, Andrei, Clarke, Edmund M.
Materyal Türü: Ekitap
Dil:English
Baskı/Yayın Bilgisi: Berlin, Heidelberg Springer 2010.
Seri Bilgileri:Lecture Notes in Computer Science, 6355
Konular:
Online Erişim:Click here to view the full text content
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!