Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(163)
Project Muse.
(6)
Arbab, Farhad. editor.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Cooper, S. Barry. editor.
(2)
Dil
Konu
Computer science.
(133)
Logic design.
(128)
Software engineering.
(89)
Artificial intelligence.
(46)
Computer software.
(33)
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ç
235 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
The World-Time Parallel Tense and Modality in Logic and Metaphysics için kapak resmi
The World-Time Parallel Tense and Modality in Logic and Metaphysics
Yazar 
Rini, A. A.. Cresswell, M. J..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
The Cold War and After : History, Theory, and the Logic of International Politics. için kapak resmi
The Cold War and After : History, Theory, and the Logic of International Politics.
Yazar 
Trachtenberg, Marc.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt7rk9r
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
The Three Failures of Creationism : Logic, Rhetoric, and Science için kapak resmi
The Three Failures of Creationism : Logic, Rhetoric, and Science
Yazar 
Fitch, Walter M., 1929-2011.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.1525/j.ctt1pnn5n
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Biomolecular information processing from logic systems to smart sensors and actuators için kapak resmi
Biomolecular information processing from logic systems to smart sensors and actuators
Yazar 
Katz, Evgeny.
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9783527645480
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Type-2 Fuzzy Logic in Intelligent Control Applications için kapak resmi
Type-2 Fuzzy Logic in Intelligent Control Applications
Yazar 
Castillo, Oscar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24663-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Yazar 
Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28717-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday için kapak resmi
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Yazar 
Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29414-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday için kapak resmi
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Yazar 
Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29485-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz için kapak resmi
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Yazar 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers için kapak resmi
New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers
Yazar 
Lassiter, Daniel. editor. Slavkovik, Marija. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31467-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes için kapak resmi
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Yazar 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Strategy for Action – I The Logic and Context of Strategic Management için kapak resmi
Strategy for Action – I The Logic and Context of Strategic Management
Yazar 
Gandellini, Giorgio. author. Pezzi, Alberto. author. Venanzi, Daniela. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-2487-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç