Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Mostowski, Andrzej.
(3)
Nerode, Anil. editor.
(3)
Artemov, Sergei. editor.
(2)
Dalen, Dirk. author.
(2)
Dil
Yayın Yılı
-
Konu
Mathematical Logic and Foundations.
(28)
Computer science.
(21)
Mathematics.
(19)
Mathematical Logic and Formal Languages.
(11)
Logic.
(8)
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ç
63 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Yazar 
Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Logic and information flow için kapak resmi
Logic and information flow
Yazar 
Eijck, J. van (Jan) Visser, Albert.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 için kapak resmi
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
Yazar 
Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879998
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Admissibility of logical inference rules için kapak resmi
Admissibility of logical inference rules
Yazar 
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444895059
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Logical frameworks for truth and abstraction an axiomatic study için kapak resmi
Logical frameworks for truth and abstraction an axiomatic study
Yazar 
Cantini, Andrea.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Computability, complexity, logic için kapak resmi
Computability, complexity, logic
Yazar 
Börger, E. (Egon), 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Yazar 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982 için kapak resmi
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Yazar 
Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic için kapak resmi
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Yazar 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Foundational studies selected works. Volume II için kapak resmi
Foundational studies selected works. Volume II
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Foundational studies selected works. Volume I için kapak resmi
Foundational studies selected works. Volume I
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç