Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(51)
Martín-Vide, Carlos. editor.
(3)
Bonacina, Maria Paola. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Son, Tran Cao. editor.
(2)
Dil
Yayın Yılı
-
Konu
Artificial Intelligence (incl. Robotics).
(48)
Computer science.
(48)
Mathematical Logic and Formal Languages.
(48)
Logic design.
(23)
Logics and Meanings of Programs.
(23)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
51 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers için kapak resmi
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Yazar 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335125.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings için kapak resmi
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Yazar 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası 
ONLINE(334979.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
A General Framework for Reasoning On Inconsistency için kapak resmi
A General Framework for Reasoning On Inconsistency
Yazar 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332107.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings için kapak resmi
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Yazar 
Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334105.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers için kapak resmi
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Yazar 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334120.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
The Language of Mathematics A Linguistic and Philosophical Investigation için kapak resmi
The Language of Mathematics A Linguistic and Philosophical Investigation
Yazar 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334341.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Automated Reasoning and Mathematics Essays in Memory of William W. McCune için kapak resmi
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Yazar 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334264.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Ontology Matching için kapak resmi
Ontology Matching
Yazar 
Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334659.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38721-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers için kapak resmi
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Yazar 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334987.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Reactive Kripke Semantics için kapak resmi
Reactive Kripke Semantics
Yazar 
Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335100.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings için kapak resmi
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Yazar 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334814.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Yazar 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334820.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets