Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
2013
(13)
2009
(1)
Konu
Artificial Intelligence (incl. Robotics).
(13)
Artificial intelligence.
(13)
Mathematical Logic and Formal Languages.
(12)
Logic design.
(5)
Logics and Meanings of Programs.
(5)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
14 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
1. 
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings için kapak resmi
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Yazar 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334875.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Algorithms and theory of computation handbook. Special topics and techniques için kapak resmi
Algorithms and theory of computation handbook. Special topics and techniques
Yazar 
Atallah, Mikhail J. Blanton, Marina.
Yer Numarası 
QA76.9 .A43 A433 2009
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: