Arama Sonuçlarını Sınırlandır
Yazar
Odifreddi, Piergiorgio, 1950-
(2)
Ambrose, Alice, 1906-
(1)
Bagchi, Tapan P.
(1)
Bakker, Dik, contributor.
(1)
Balagangadhara, S.N., contributor.
(1)
Dil
Konu
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ç
22 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
1. 
Logic-based decision support mixed integer model formulation için kapak resmi
Logic-based decision support mixed integer model formulation
Yazar 
Jeroslow, Robert G., 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444871190
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Interactive relational database design : a logic programming implementation için kapak resmi
Interactive relational database design : a logic programming implementation
Yazar 
Bagchi, Tapan P.
Yer Numarası 
QA 76.9.D26 B34 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Cylindric algebras için kapak resmi
Cylindric algebras
Yazar 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Yer Numarası 
QA 9 H415 1971- V.1
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Classical recursion theory the theory of functions and sets of natural numbers için kapak resmi
Classical recursion theory the theory of functions and sets of natural numbers
Yazar 
Odifreddi, Piergiorgio, 1950-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Classical recursion theory the theory of functions and sets of natural numbers için kapak resmi
Classical recursion theory the theory of functions and sets of natural numbers
Yazar 
Odifreddi, Piergiorgio, 1950-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter. için kapak resmi
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
Yazar 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Yer Numarası 
QA 76.9.M35 W67 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
İslam mantık tarihi ve Farabi mantığı için kapak resmi
İslam mantık tarihi ve Farabi mantığı
Yazar 
Keklik, Nihat.
Yer Numarası 
BC 34 K4 1969-70
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Functional Grammar and the Computer için kapak resmi
Functional Grammar and the Computer
Yazar 
Bakker, Dik, contributor. Connolly, John H., contributor. Connolly, John, editor. Dignum, Frank, contributor. Dik, Simon C., contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110871685
https://www.degruyter.com/isbn/9783110871685
Cover https://www.degruyter.com/document/cover/isbn/9783110871685/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Norms in Argumentation : Proceedings of the Conference on Norms 1988 için kapak resmi
Norms in Argumentation : Proceedings of the Conference on Norms 1988
Yazar 
Balagangadhara, S.N., contributor. Blair, J. Anthony, contributor. Borel, Marie-Jeanne, contributor. Eemeren, Frans H. van, contributor. Grootendorst, Rob, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110877175
https://www.degruyter.com/isbn/9783110877175
Cover https://www.degruyter.com/document/cover/isbn/9783110877175/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Communication complexity a new approach to circuit depth için kapak resmi
Communication complexity a new approach to circuit depth
Yazar 
Karchmer, Mauricio.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: