Arama Sonuçlarını Sınırlandır
Yazar
Suppes, Patrick, 1922-
(3)
Arruda, A. I. (Ayda Ignez)
(2)
Association for Symbolic Logic.
(2)
Chuaqui, R.
(2)
Costa, Newton C. A. da.
(2)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical -- Congresses.
(25)
Logic programming -- Congresses.
(9)
Logische Programmierung.
(6)
Science -- Philosophy -- Congresses.
(6)
Kongreß.
(5)
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ç
48 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Advances in modal logic için kapak resmi
Advances in modal logic
Yazar 
Kracht, Marcus, ed.
Yer Numarası 
BC 199.M6 A38 1998- V.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
2. 
Essays on Anscombe's Intention için kapak resmi
Essays on Anscombe's Intention
Yazar 
Ford, Anton. Hornsby, Jennifer. Stoutland, Frederick.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.4159/harvard.9780674060913
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic Colloquium 2007 için kapak resmi
Logic Colloquium 2007
Yazar 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic Colloquium 2006 için kapak resmi
Logic Colloquium 2006
Yazar 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Logic Colloquium 2005 için kapak resmi
Logic Colloquium 2005
Yazar 
Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic, Thought and Language için kapak resmi
Logic, Thought and Language
Yazar 
O'Hear, Anthony.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Paraconsistency the logical way to the inconsistent : proceedings of the world congress held in Sô Paulo için kapak resmi
Paraconsistency the logical way to the inconsistent : proceedings of the world congress held in Sô Paulo
Yazar 
World Congress on Paraconsistency (2nd : 2000 : Sô Paulo, Brazil) Carnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo E., 1963- D'Ottaviano, Itala M. L., 1944-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA için kapak resmi
FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA
Yazar 
ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.
Yer Numarası 
TK 7895.G36 A36 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
9. 
Logic programming proceedings of the 1999 International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the 1999 International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997) için kapak resmi
Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)
Yazar 
Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.
Yer Numarası 
BC 39.5.S7 M469 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
Cafe an industrial-strength algebraic formal method için kapak resmi
Cafe an industrial-strength algebraic formal method
Yazar 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Logic programming proceedings of the Fourteenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: