11 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ç
00000000000DEFAULTTR
Yazdır
1. 
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ı: 
Logics and Meanings of Programs.
2. 
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
3. 
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.
4. 
Logic Functions and Equations Binary Models for Computer Science için kapak resmi
Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Yazar 
Posthoff, Christian. author.
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
Tümünü Seç
11 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
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