Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
6 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
1. 
Proof theory and logical complexity için kapak resmi
Proof theory and logical complexity
Yazar 
Girard, Jean-Yves.
Yer Numarası 
QA 9.54 G57 1987- V.1
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings için kapak resmi
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Yazar 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Yer Numarası 
XX(521127.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Algorithms for Constructing Computably Enumerable Sets için kapak resmi
Algorithms for Constructing Computably Enumerable Sets
Yazar 
Supowit, Kenneth J. author. SpringerLink (Online service)
Yer Numarası 
XX(520324.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Yazar 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası 
XX(521139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings için kapak resmi
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Yazar 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(521295.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings için kapak resmi
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Yazar 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(521191.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: