33 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. 
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ı: 
Logic Functions and Equations Binary Models for Computer Science / Posthoff, Christian. author.
2. 
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior için kapak resmi
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Yazar 
Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: 
Electronic Resources
Alıntı: 
Progress in Computer Science and Applied Logic,
3. 
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.
4. 
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ı: 
Computer logic.
11. 
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 for Computer Science Classical and Non-Classical / Wasilewska, Anita. author.
12. 
Finitely Supported Mathematics An Introduction için kapak resmi
Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Yazar 
Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
Tümünü Seç
33 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(33)
Baltag, Alexandru. editor.
(2)
Gorrieri, Roberto. author.
(2)
Schlechta, Karl. author.
(2)
Akama, Seiki. editor.
(1)
Format
Dil
Basım Yılı
Konu
Mathematical logic.
(21)
Computer science.
(19)
Mathematical Logic and Formal Languages.
(16)
Logic, Symbolic and mathematical.
(12)
Logics and Meanings of Programs.
(11)
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