Search Results for Set theory.

1.

Mathematical logic : A course with exercises

Yazar

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Yer Numarası

QA 9 C742513 2000 PT.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

2.

Belirsizlik içeren küme teorilerine giriş

Yazar

Atmaca, Serkan, author.

Yer Numarası

QA248 A88 2023

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Algorithms for Constructing Computably Enumerable Sets

Yazar

Supowit, Kenneth J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26904-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Yazar

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30167-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Yazar

Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26689-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Yazar

Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-33498-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Computers and Games International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers

Yazar

Browne, Cameron. editor. Kishimoto, Akihiro. editor. Schaeffer, Jonathan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34017-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Yazar

Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-38906-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Yazar

Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35949-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Yazar

Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-38499-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Yazar

Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-40960-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Yazar

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42823-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

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ı

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50959-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Advances in Intelligent Information Hiding and Multimedia Signal Processing Proceeding of the 18th IIH-MSP 2022 Kitakyushu, Japan, Volume 1

Yazar

Weng, Shaowei. editor. Shieh, Chin-Shiuh. editor. (orcid)0000-0003-3187-458X Tsihrintzis, George A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-0605-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

Yazar

Abe, Jair Minoro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35759-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022

Yazar

Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-6431-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Texture Spaces

Yazar

Diker, Murat. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-39748-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

Yazar

Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-27181-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}