Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(147)
Wiley InterScience (Online service)
(5)
Risby, Bonnie Lou.
(4)
Crawford, Dean.
(3)
Leite, João. editor.
(3)
Dil
Konu
Computer science.
(119)
Logic design.
(110)
Software engineering.
(70)
Artificial intelligence.
(43)
Computer Communication Networks.
(32)
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ç
198 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Phenomenology, Logic, and the Philosophy of Mathematics için kapak resmi
Phenomenology, Logic, and the Philosophy of Mathematics
Yazar 
Tieszen, Richard.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Quantifying Environmental Impact Assessments Using Fuzzy Logic için kapak resmi
Quantifying Environmental Impact Assessments Using Fuzzy Logic
Yazar 
Shepard, Richard B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28098-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Logic safari. Book 1, grades 2-3 için kapak resmi
Logic safari. Book 1, grades 2-3
Yazar 
Risby, Bonnie Lou. Palouda, Annelise, illustrator.
Format: 
Durum 
~0
Rafta:
Kopya:
28. 
The rise of modern logic from Leibniz to Frege için kapak resmi
The rise of modern logic from Leibniz to Frege
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
The technique of controversy : principles of dynamic logic için kapak resmi
The technique of controversy : principles of dynamic logic
Yazar 
Bogoslovsky, Boris Basil, 1890-
Yer Numarası 
BC 108 B65 1928 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
30. 
The limits of science : outline of logic and of the methodology of the exact sciences için kapak resmi
The limits of science : outline of logic and of the methodology of the exact sciences
Yazar 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Yer Numarası 
Q 175 C494 1948 A (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
31. 
Postmodernism, or, The cultural logic of late capitalism için kapak resmi
Postmodernism, or, The cultural logic of late capitalism
Yazar 
Jameson, Fredric.
Yer Numarası 
PN 98.P67 J3 1991
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
32. 
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning için kapak resmi
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Yazar 
Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138799
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers için kapak resmi
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Yazar 
Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104175
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
Yazar 
Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11546207
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings için kapak resmi
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
Yazar 
Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11536314
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers için kapak resmi
Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Yazar 
Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11533092
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç