30 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. 
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning için kapak resmi
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Yazar 
Abe, Jair Minoro. author.
http://dx.doi.org/10.1007/978-3-319-17912-4
Format: 
Electronic Resources
Alıntı: 
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning / Abe
6. 
Johan van Benthem on Logic and Information Dynamics için kapak resmi
Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
Yazar 
Baltag, Alexandru. editor.
http://dx.doi.org/10.1007/978-3-319-06025-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
7. 
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ı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
8. 
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ı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
12. 
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings için kapak resmi
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Yazar 
Phillips, Iain. editor.
https://doi.org/10.1007/978-3-319-59936-6
Format: 
Electronic Resources
Alıntı: 
papers are organized in the following topical sections: foundations; reversible circuit synthesis
Tümünü Seç
30 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(30)
Baltag, Alexandru. editor.
(2)
Gavrilova, Marina L. editor.
(2)
Kunčak, Viktor. editor.
(2)
Majumdar, Rupak. editor.
(2)
Format
Dil
Basım Yılı
Konu
Logics and Meanings of Programs.
(25)
Computer science.
(23)
Artificial intelligence.
(18)
Mathematical Logic and Formal Languages.
(18)
Software engineering.
(18)
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