Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(56)
Taylor and Francis.
(6)
Fraenkel, Abraham Adolf, 1891-1965.
(4)
Lipschutz, Seymour.
(4)
Jech, Thomas J.
(3)
Dil
Yayın Yılı
-
Konu
Set theory.
(49)
Logic, Symbolic and mathematical.
(19)
Artificial intelligence.
(13)
Mathematics.
(13)
Axiomatic set theory.
(10)
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ç
213 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Introduction a la theorie des ensembles (Naive set theory) / par Paul R. Halmos ; tr. de J. Gardelle. için kapak resmi
Introduction a la theorie des ensembles (Naive set theory) / par Paul R. Halmos ; tr. de J. Gardelle.
Yazar 
Halmos, Paul Richard, 1914-
Yer Numarası 
QA 248 H2614 1967
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
50. 
Schaum's outline of theory and problems of set theory and related topics için kapak resmi
Schaum's outline of theory and problems of set theory and related topics
Yazar 
Lipschutz, Seymour.
Yer Numarası 
QA 248 L6688 1964
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
51. 
Outline of theory and problems of set theory and related topics için kapak resmi
Outline of theory and problems of set theory and related topics
Yazar 
Schaum, Daniel.
Yer Numarası 
QA 248 S655 1964
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
52. 
Mathematical logic : A course with exercises için kapak resmi
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:
53. 
Ophthalmic microsurgery : principles, techniques, and applications için kapak resmi
Ophthalmic microsurgery : principles, techniques, and applications
Yazar 
Garg, Sumit, 1975- editor. Steinert, Roger F., editor.
Yer Numarası 
RE67
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003525400
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Concise Guide to Software Verification From Model Checking to Annotation Checking için kapak resmi
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:
55. 
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings için kapak resmi
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:
56. 
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 için kapak resmi
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:
57. 
Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology için kapak resmi
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:
58. 
Belirsizlik içeren küme teorilerine giriş için kapak resmi
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:
59. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings için kapak resmi
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:
Eylem Seç