Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(15)
Cupillari, Antonella.
(3)
Taylor and Francis.
(3)
Girard, Jean-Yves.
(2)
Negri, Sara.
(2)
Dil
Yayın Yılı
-
Konu
Proof theory.
(27)
Logic, Symbolic and mathematical.
(12)
Mathematics.
(5)
Proof theory -- Textbooks.
(5)
Electronic books.
(4)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
66 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
BEGINNER'S GUIDE TO MATHEMATICAL PROOF için kapak resmi
BEGINNER'S GUIDE TO MATHEMATICAL PROOF
Yazar 
DeBonis, Mark J.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032687728
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
A bridge to higher mathematics için kapak resmi
A bridge to higher mathematics
Yazar 
Kirkwood, James R., author. Robeva, Raina S., author.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032623849
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Taking the "oof!" out of proofs için kapak resmi
Taking the "oof!" out of proofs
Yazar 
Draganov, Alexandr, author.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments için kapak resmi
Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments
Yazar 
Xia, Qi, author.
Yer Numarası 
TK5102.94 .G365 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings için kapak resmi
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Yazar 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings için kapak resmi
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Yazar 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings için kapak resmi
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Yazar 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Algorithms for Constructing Computably Enumerable Sets için kapak resmi
Algorithms for Constructing Computably Enumerable Sets
Yazar 
Supowit, Kenneth J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Yazar 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Proofs 101 : an introduction to formal mathematics için kapak resmi
Proofs 101 : an introduction to formal mathematics
Yazar 
Kirtland, Joseph (Mathematics professor), author.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003082927
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Wireless blockchain : principles, technologies and applications için kapak resmi
Wireless blockchain : principles, technologies and applications
Yazar 
Imran, Muhammad Ali, editor. Cao, Bin, editor. Zhang, Lei, editor. Peng, Mugen, editor.
Yer Numarası 
QA76.9 .B56
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Gaussian Measures in Hilbert Space : Construction and Properties için kapak resmi
Gaussian Measures in Hilbert Space : Construction and Properties
Yazar 
Kukush, Alexander.
Yer Numarası 
QA312
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476825
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets