Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
624 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
The axiomatic method : an introduction to mathematical logic için kapak resmi
The axiomatic method : an introduction to mathematical logic
Yazar 
Lightstone, A. H.
Yer Numarası 
QA 248 L53 1964
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
38. 
The foundations of mathematics için kapak resmi
The foundations of mathematics
Yazar 
Kunen, Kenneth.
Yer Numarası 
QA9 K796 2012
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
39. 
Set theory için kapak resmi
Set theory
Yazar 
Kunen, Kenneth.
Yer Numarası 
QA248 K858 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
40. 
The logical syntax of language için kapak resmi
The logical syntax of language
Yazar 
Carnap, Rudolf, 1891-1970.
Yer Numarası 
BC 135 C323 1937 P (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
41. 
The foundations of mathematics : and other logical essays için kapak resmi
The foundations of mathematics : and other logical essays
Yazar 
Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Yer Numarası 
QA 9 R23 1931
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
42. 
The nature of mathematics : a critical survey için kapak resmi
The nature of mathematics : a critical survey
Yazar 
Black, Max, 1909-
Yer Numarası 
QA 9 B62 1933 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
43. 
The limits of science : outline of logic and of the methodology of the exact sciences için kapak resmi
The limits of science : outline of logic and of the methodology of the exact sciences
Yazar 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Yer Numarası 
Q 175 C494 1948 A (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
44. 
An examination of logical positivism için kapak resmi
An examination of logical positivism
Yazar 
Weinberg, Julius Rudolf, 1908-
Yer Numarası 
B 824.6 W434 1936 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
45. 
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers için kapak resmi
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Yazar 
Gibadullin, Arthur. editor. SpringerLink (Online service)
Yer Numarası 
XX(520219.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings için kapak resmi
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Yazar 
Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Yer Numarası 
XX(520477.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34896-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Mathematical Foundations of Software Engineering A Practical Guide to Essentials için kapak resmi
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
XX(520574.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings için kapak resmi
Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings
Yazar 
Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-26773-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets