170 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ı: 
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
3. 
Logics for Computer Science Classical and Non-Classical için kapak resmi
Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Yazar 
Wasilewska, Anita. author.
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
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ı: 
Logics and Meanings of Programs.
11. 
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ı: 
Logics and Meanings of Programs.
Tümünü Seç
170 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(170)
Roman, Dumitru. editor.
(5)
Berger, Christian. editor.
(2)
Fodor, Paul. editor.
(2)
Hage, Jurriaan. editor.
(2)
Format
Dil
English
(170)
Basım Yılı
Konu
Logics and Meanings of Programs.
(170)
Computer science.
(123)
Mathematical Logic and Formal Languages.
(116)
Computer logic.
(110)
Software engineering.
(107)
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