743 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
25. 
A Model–Theoretic Approach to Proof Theory için kapak resmi
A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
Yazar 
Kotlarski, Henryk. author.
https://doi.org/10.1007/978-3-030-28921-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
30. 
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics için kapak resmi
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
Yazar 
Montano, Ulianov. author.
http://dx.doi.org/10.1007/978-3-319-03452-2
Format: 
Electronic Resources
Alıntı: 
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics Montano, Ulianov. author.
32. 
Refinement in Z and Object-Z Foundations and Advanced Applications için kapak resmi
Refinement in Z and Object-Z Foundations and Advanced Applications
Refinement in Z and Object-Z Foundations and Advanced Applications
Yazar 
Derrick, John. author.
http://dx.doi.org/10.1007/978-1-4471-5355-9
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
34. 
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings için kapak resmi
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
Yazar 
Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-30763-9
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
35. 
Introduction to Mathematica® with Applications için kapak resmi
Introduction to Mathematica® with Applications
Introduction to Mathematica® with Applications
Yazar 
Mureşan, Marian. author.
https://doi.org/10.1007/978-3-319-52003-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
36. 
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.
Tümünü Seç
743 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)
Format
Dil
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