348 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
1. 
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ı: 
SpringerLink (Online service)
2. 
Towards Paraconsistent Engineering için kapak resmi
Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
Yazar 
Akama, Seiki. editor.
http://dx.doi.org/10.1007/978-3-319-40418-9
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
3. 
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ı: 
SpringerLink (Online service)
5. 
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ı: 
SpringerLink (Online service)
7. 
Verification of Business Rules Programs için kapak resmi
Verification of Business Rules Programs
Verification of Business Rules Programs
Yazar 
Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
8. 
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ı: 
SpringerLink (Online service)
Tümünü Seç
348 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(348)
Ölveczky, Peter Csaba. editor.
(5)
Artho, Cyrille. editor.
(4)
Kroening, Daniel. editor.
(4)
Lanese, Ivan. editor.
(4)
Format
Dil
English
(348)
Basım Yılı
2014
(100)
2015
(94)
2016
(80)
2019
(74)
Konu
Logics and Meanings of Programs.
(337)
Computer science.
(271)
Software engineering.
(257)
Mathematical logic.
(211)
Mathematical Logic and Formal Languages.
(208)
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