Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(137)
Barthe, Gilles. editor.
(2)
Boer, Frank S. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Dil
Konu
Computer science.
(112)
Logic design.
(97)
Software engineering.
(68)
Artificial intelligence.
(40)
Logic, Symbolic and mathematical.
(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ç
179 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
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:
26. 
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns için kapak resmi
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
Yazar 
Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions için kapak resmi
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions
Yazar 
Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
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:
29. 
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:
30. 
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:
31. 
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Yazar 
King, Andy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings için kapak resmi
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
Yazar 
Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings için kapak resmi
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Yazar 
Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Yeraltısuyu akışı ve kalitesi'nin esnek hesaplama methodları (yapay sinir ağları, bulanık mantık) ile modellenmesi = Modeling of groundwater flow and quality in karstic systems using 'soft computing' methods (Neural networks, fuzzy logic) için kapak resmi
Yeraltısuyu akışı ve kalitesi'nin esnek hesaplama methodları (yapay sinir ağları, bulanık mantık) ile modellenmesi = Modeling of groundwater flow and quality in karstic systems using 'soft computing' methods (Neural networks, fuzzy logic)
Yazar 
Kurtuluş, Bedri.
Yer Numarası 
TEZ 9513 .K87 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
35. 
Introduction to Logic and Theory of Knowledge Lectures 1906/07 için kapak resmi
Introduction to Logic and Theory of Knowledge Lectures 1906/07
Yazar 
Husserl, Edmund. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6727-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings için kapak resmi
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Yazar 
Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78969-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç