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ç
Eylem Seç
66 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
A modern introduction to fuzzy mathematics için kapak resmi
A modern introduction to fuzzy mathematics
Yazar 
Syropoulos, Apostolos, author.
Yer Numarası 
QA248.5 .S97 2020
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal semantics in modern type theories için kapak resmi
Formal semantics in modern type theories
Yazar 
Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.
Yer Numarası 
QA76.5913
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
UNDERSTANDING MATHEMATICAL PROOF için kapak resmi
UNDERSTANDING MATHEMATICAL PROOF
Yazar 
TAYLOR, JOHN.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429190735
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. 
An introduction to proof through real analysis için kapak resmi
An introduction to proof through real analysis
Yazar 
Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.
Yer Numarası 
QA9.54 .M335 2017
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. için kapak resmi
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Yazar 
Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I için kapak resmi
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Yazar 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers için kapak resmi
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Yazar 
Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46906-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissance için kapak resmi
Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissance
Yazar 
Erickson, Matthew P.
Yer Numarası 
ONLINE(341777.1)
Elektronik Erişim 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118779194.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1752702
ebrary http://site.ebrary.com/id/10899822
John Wiley http://dx.doi.org/10.1002/9781118779217
MyiLibrary http://www.myilibrary.com?id=632014
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Why is there philosophy of mathematics at all? için kapak resmi
Why is there philosophy of mathematics at all?
Yazar 
Hacking, Ian, author.
Yer Numarası 
QA8.4 H29 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
Software engineering mathematics için kapak resmi
Software engineering mathematics
Yazar 
Woodcock, Janet, author. Taylor and Francis.
Yer Numarası 
QA76.758 .W661989
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Handbook of Mathematical Induction : Theory and Applications için kapak resmi
Handbook of Mathematical Induction : Theory and Applications
Yazar 
Gunderson, David S., author.
Yer Numarası 
QA9.54 G863 2014
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç