1068 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
38. 
Validation of Evolving Software için kapak resmi
Validation of Evolving Software
Validation of Evolving Software
Yazar 
Chockler, Hana. editor.
http://dx.doi.org/10.1007/978-3-319-10623-6
Format: 
Electronic Resources
Alıntı: 
Computer logic.
42. 
Answer Set Programming için kapak resmi
Answer Set Programming
Answer Set Programming
Yazar 
Lifschitz, Vladimir. author.
https://doi.org/10.1007/978-3-030-24658-7
Format: 
Electronic Resources
Alıntı: 
Computer logic.
43. 
Krister Segerberg on Logic of Actions için kapak resmi
Krister Segerberg on Logic of Actions
Krister Segerberg on Logic of Actions
Yazar 
Trypuz, Robert. editor.
http://dx.doi.org/10.1007/978-94-007-7046-1
Format: 
Electronic Resources
Alıntı: 
Computer logic.
44. 
Joint Training for Neural Machine Translation için kapak resmi
Joint Training for Neural Machine Translation
Joint Training for Neural Machine Translation
Yazar 
Cheng, Yong. author.
https://doi.org/10.1007/978-981-32-9748-7
Format: 
Electronic Resources
Alıntı: 
Computer logic.
47. 
Dag Prawitz on Proofs and Meaning için kapak resmi
Dag Prawitz on Proofs and Meaning
Dag Prawitz on Proofs and Meaning
Yazar 
Wansing, Heinrich. editor.
http://dx.doi.org/10.1007/978-3-319-11041-7
Format: 
Electronic Resources
Alıntı: 
Computer logic.
Tümünü Seç
1068 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1025)
IEEE Xplore (Online Service), distributor.
(24)
MIT Press, publisher.
(21)
Hameurlain, Abdelkader. editor.
(9)
Yager, Ronald R. editor.
(9)
Format
Dil
English
(1065)
Basım Yılı
Konu
Computer science.
(721)
Mathematical Logic and Formal Languages.
(547)
Software engineering.
(496)
Artificial intelligence.
(495)
Logics and Meanings of Programs.
(481)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope