Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(11)
Galatos, Nikolaos.
(2)
Adámek, J..
(1)
Andréka, Hajnal. editor.
(1)
Arnold, A. (André), 1945-
(1)
Dil
Yayın Yılı
-
Konu
Algebraic logic.
(11)
Algebra.
(4)
Lattice theory.
(3)
Logic, Symbolic and mathematical.
(3)
Mathematics.
(3)
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ç
26 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Cylindric-like Algebras and Algebraic Logic için kapak resmi
Cylindric-like Algebras and Algebraic Logic
Yazar 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333922.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications için kapak resmi
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
Yazar 
Stark, W. Richard.
Yer Numarası 
QA 76.73.L23 S72 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Logic in algebraic form Three languages and theories için kapak resmi
Logic in algebraic form Three languages and theories
Yazar 
Craig, William, 1918-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mathematics for Computer Scientists A Practice-Oriented Approach için kapak resmi
Mathematics for Computer Scientists A Practice-Oriented Approach
Yazar 
Hartmann, Peter. author. SpringerLink (Online service)
Yer Numarası 
XX(520344.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Yazar 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Yer Numarası 
XX(520788.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings için kapak resmi
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Yazar 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Yer Numarası 
XX(521244.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings için kapak resmi
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Yazar 
Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Yer Numarası 
XX(521379.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II için kapak resmi
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Yazar 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Yer Numarası 
XX(519225.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I için kapak resmi
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Yazar 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası 
XX(519313.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası 
XX(519137.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings için kapak resmi
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Yazar 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası 
XX(518949.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design için kapak resmi
Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design
Yazar 
International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.
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: