Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings için kapak resmi
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Yazar 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Foundations for Functional Modeling of Technical Artefacts için kapak resmi
Foundations for Functional Modeling of Technical Artefacts
Yazar 
Lind, Morten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45918-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
The Incomputable Journeys Beyond the Turing Barrier için kapak resmi
The Incomputable Journeys Beyond the Turing Barrier
Yazar 
Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
On computing the fourth great scientific domain için kapak resmi
On computing the fourth great scientific domain
Yazar 
Rosenbloom, Paul S.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451064
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method için kapak resmi
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Yazar 
Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336157.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste için kapak resmi
IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
Yazar 
Barthelmeß, Ulrike. author. Furbach, Ulrich. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22928-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Klüger als wir? Auf dem Weg zur Hyperintelligenz için kapak resmi
Klüger als wir? Auf dem Weg zur Hyperintelligenz
Yazar 
Grüter, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-2649-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: