735 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
49. 
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
50. 
Intuitionistic Fuzzy Logics için kapak resmi
Intuitionistic Fuzzy Logics
Intuitionistic Fuzzy Logics
Yazar 
T. Atanassov, Krassimir. author.
https://doi.org/10.1007/978-3-319-48953-7
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
51. 
The Handbook of Formal Methods in Human-Computer Interaction için kapak resmi
The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Yazar 
Weyers, Benjamin. editor.
https://doi.org/10.1007/978-3-319-51838-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
52. 
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer için kapak resmi
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Yazar 
Atten, Mark van. author.
http://dx.doi.org/10.1007/978-3-319-10031-9
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
54. 
Controlling Language in Industry Controlled Languages for Technical Documents için kapak resmi
Controlling Language in Industry Controlled Languages for Technical Documents
Controlling Language in Industry Controlled Languages for Technical Documents
Yazar 
Crabbe, Stephen. author.
https://doi.org/10.1007/978-3-319-52745-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
55. 
Nonsymmetric Operads in Combinatorics için kapak resmi
Nonsymmetric Operads in Combinatorics
Nonsymmetric Operads in Combinatorics
Yazar 
Giraudo, Samuele. author.
https://doi.org/10.1007/978-3-030-02074-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
56. 
Axiomatic Method and Category Theory için kapak resmi
Axiomatic Method and Category Theory
Axiomatic Method and Category Theory
Yazar 
Rodin, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-00404-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
57. 
Turing Computability Theory and Applications için kapak resmi
Turing Computability Theory and Applications
Turing Computability Theory and Applications
Yazar 
Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
58. 
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.
59. 
Numerical Methods of Mathematics Implemented in Fortran için kapak resmi
Numerical Methods of Mathematics Implemented in Fortran
Numerical Methods of Mathematics Implemented in Fortran
Yazar 
Bose, Sujit Kumar. author.
https://doi.org/10.1007/978-981-13-7114-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
60. 
The Incomputable Journeys Beyond the Turing Barrier için kapak resmi
The Incomputable Journeys Beyond the Turing Barrier
The Incomputable Journeys Beyond the Turing Barrier
Yazar 
Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Tümünü Seç
735 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(719)
IEEE Xplore (Online Service), distributor.
(11)
Bouchon-Meunier, Bernadette. editor.
(8)
MIT Press, publisher.
(8)
Yager, Ronald R. editor.
(8)
Dil
English
(735)
Basım Yılı
Konu
Mathematical Logic and Formal Languages.
(559)
Computer science.
(512)
Mathematical logic.
(394)
Artificial intelligence.
(369)
Logics and Meanings of Programs.
(322)
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