Arama Sonuçlarını Sınırlandır
Yazar
Dalen, Dirk. author.
(3)
Deiser, Oliver. author.
(3)
Gabbay, Dov M. editor.
(2)
Goncharov, Sergei S. editor.
(2)
Herzberg, Frederik. author.
(2)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(61)
Mathematics.
(57)
Logic.
(22)
Computer science.
(13)
Mathematical Logic and Foundations.
(12)
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ç
72 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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ı 
XX(520823.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings için kapak resmi
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Yazar 
Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Yer Numarası 
XX(520965.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
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ı 
XX(518949.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Foundation Mathematics for Computer Science A Visual Approach için kapak resmi
Foundation Mathematics for Computer Science A Visual Approach
Yazar 
Vince, John. author. SpringerLink (Online service)
Yer Numarası 
XX(518439.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21437-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life için kapak resmi
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
Yazar 
Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331026.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
A Logical Introduction to Proof için kapak resmi
A Logical Introduction to Proof
Yazar 
Cunningham, Daniel W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Visual Reasoning with Diagrams için kapak resmi
Visual Reasoning with Diagrams
Yazar 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332637.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Towards a General Theory of Classifications için kapak resmi
Towards a General Theory of Classifications
Yazar 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332639.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems için kapak resmi
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
Yazar 
Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332859.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01333-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
The Argument of Mathematics için kapak resmi
The Argument of Mathematics
Yazar 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336263.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis için kapak resmi
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Yazar 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338283.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
An Invitation to Abstract Mathematics için kapak resmi
An Invitation to Abstract Mathematics
Yazar 
Bajnok, Béla. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332077.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç