Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(31)
Bonacina, Maria Paola. editor.
(2)
Ermolayev, Vadim. editor.
(2)
Mayr, Heinrich C. editor.
(2)
Nikitchenko, Mykola. editor.
(2)
Dil
Yayın Yılı
-
2013
(31)
Konu
Artificial Intelligence (incl. Robotics).
(31)
Artificial intelligence.
(31)
Computer science.
(31)
Logic design.
(31)
Mathematical Logic and Formal Languages.
(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ç
Eylem Seç
31 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Yazar 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335196.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Yazar 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332982.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers için kapak resmi
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(333011.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03998-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
Programming Logics Essays in Memory of Harald Ganzinger için kapak resmi
Programming Logics Essays in Memory of Harald Ganzinger
Yazar 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334468.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings için kapak resmi
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Yazar 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Yer Numarası 
ONLINE(334822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings için kapak resmi
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Yazar 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334825.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334840.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Yazar 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: