Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Intuitionistic mathematics.
(5)
Computer science -- Mathematics.
(4)
Computational intelligence.
(3)
Artificial intelligence.
(2)
Constructive mathematics.
(2)
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ç
18 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
The foundations of intuitionistic mathematics için kapak resmi
The foundations of intuitionistic mathematics
Yazar 
Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534040
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
The foundations of intuitionistic mathematics : especially in relation to recursive functions için kapak resmi
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Yazar 
Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.
Yer Numarası 
QA 248.5 K652 1965
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1 için kapak resmi
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
Yazar 
Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39774-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings için kapak resmi
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:
5. 
Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain için kapak resmi
Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
Yazar 
Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-4929-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Mathematics in computational science and engineering için kapak resmi
Mathematics in computational science and engineering
Yazar 
Bhardwaj, Ramakant, editor.
Yer Numarası 
QA76.9 .M35
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Fuzzy set and its extension : the intuitionistic fuzzy set için kapak resmi
Fuzzy set and its extension : the intuitionistic fuzzy set
Yazar 
Chaira, Tamalika, author.
Yer Numarası 
QA248.5 .C43 2019
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119544203
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Intuitionistic Fuzzy Calculus için kapak resmi
Intuitionistic Fuzzy Calculus
Yazar 
Lei, Qian. author. Xu, Zeshui. author. (orcid)0000-0002-0655-1255 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54148-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications için kapak resmi
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44561-8
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings için kapak resmi
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Yazar 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: