Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(30)
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X
(2)
Dimitrova, Rayna. editor.
(2)
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996
(2)
Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789
(2)
Dil
Yayın Yılı
-
Konu
Logic in AI.
(30)
Computer science.
(15)
Software engineering.
(14)
Computer science -- Mathematics.
(11)
Theory of Computation.
(11)
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ç
40 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
37. 
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings için kapak resmi
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Yazar 
Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63790-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings için kapak resmi
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Yazar 
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63536-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Discrete structures, logic, and computability için kapak resmi
Discrete structures, logic, and computability
Yazar 
Hein, James L.
Yer Numarası 
QA76.9.M35 H44 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
40. 
Arithmetic and logic in computer systems için kapak resmi
Arithmetic and logic in computer systems
Yazar 
Lu, Mi.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: