Arama Sonuçları Proof theory.

Proof theory

2026-03-22T06:47:59Z

Yazar Takeuti, Gaisi, 1926-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structural Proof Theory

2026-03-22T06:47:59Z

Yazar Negri, Sara. von Plato, Jan. Ranta, Aarne.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of proof theory

2026-03-22T06:47:59Z

Yazar Buss, Samuel R.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof theory and logical complexity

2026-03-22T06:47:59Z

Yazar Girard, Jean-Yves.
Yer Numarası QA 9.54 G57 1987- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~1

A Proof Theory for Description Logics

2026-03-22T06:47:59Z

Yazar Rademaker, Alexandre. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Logic and its Proof-Theory

2026-03-22T06:47:59Z

Yazar Braüner, Torben. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0002-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof Theory for Fuzzy Logics

2026-03-22T06:47:59Z

Yazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof theory : sequent calculi and related formalisms

2026-03-22T06:47:59Z

Yazar Bimbo, Katalin, 1963, author.
Yer Numarası QA9.54 .B55 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Proof Theory The First Step into Impredicativity

2026-03-22T06:47:59Z

Yazar Pohlers, Wolfram. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69319-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968

2026-03-22T06:47:59Z

Yazar Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Factors and Factorizations of Graphs Proof Techniques in Factor Theory

2026-03-22T06:47:59Z

Yazar Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21919-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

2026-03-22T06:47:59Z

Yazar Kohlenbach, Ulrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77533-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Maximal Planar Graph Theory and the Four-Color Conjecture

2026-03-22T06:47:59Z

Yazar Xu, Jin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4745-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation

2026-03-22T06:47:59Z

Yazar Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88946-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BEGINNER'S GUIDE TO MATHEMATICAL PROOF

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A bridge to higher mathematics

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-03-22T06:47:59Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57256-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

2026-03-22T06:47:59Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63498-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

2026-03-22T06:47:59Z

Yazar Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47751-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

2026-03-22T06:47:59Z

Yazar Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47754-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Limits of AI - theoretical, practical, ethical

2026-03-22T06:47:59Z

Yazar Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-68290-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

2026-03-22T06:47:59Z

Yazar Downey, Rod. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53744-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

2026-03-22T06:47:59Z

Yazar Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61716-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

2026-03-22T06:47:59Z

Yazar Morazán, Marco T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43973-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-22T06:47:59Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57249-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The French School of Programming

2026-03-22T06:47:59Z

Yazar Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34518-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

2026-03-22T06:47:59Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63501-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments

2026-03-22T06:47:59Z

Yazar Xia, Qi, author.
Yer Numarası TK5102.94 .G365 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-22T06:47:59Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57246-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient Energy-Saving Control and Optimization for Multi-Unit Systems A Guide for Electrical Engineers

2026-03-22T06:47:59Z

Yazar Yao, Fulai. author. Yao, Yaming. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-4492-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Taking the "oof!" out of proofs

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms for Constructing Computably Enumerable Sets

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proofs 101 : an introduction to formal mathematics

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless blockchain : principles, technologies and applications

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gaussian Measures in Hilbert Space : Construction and Properties

2026-03-22T06:47:59Z

Yazar Kukush, Alexander.
Yer Numarası QA312
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476825
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal semantics in modern type theories

2026-03-22T06:47:59Z

Yazar Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.
Yer Numarası QA76.5913
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A modern introduction to fuzzy mathematics

2026-03-22T06:47:59Z

Yazar Syropoulos, Apostolos, author.
Yer Numarası QA248.5 .S97 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UNDERSTANDING MATHEMATICAL PROOF

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An introduction to proof through real analysis

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On Sets and Graphs Perspectives on Logic and Combinatorics

2026-03-22T06:47:59Z

Yazar Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54981-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Space in Weak Propositional Proof Systems

2026-03-22T06:47:59Z

Yazar Bonacina, Ilario. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73453-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-03-22T06:47:59Z

Yazar Weil, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58747-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

2026-03-22T06:47:59Z

Yazar Lindell, Yehuda. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57048-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Variational Continuum Multiphase Poroelasticity Theory and Applications

2026-03-22T06:47:59Z

Yazar Serpieri, Roberto. author. Travascio, Francesco. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3452-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear Model Predictive Control Theory and Algorithms

2026-03-22T06:47:59Z

Yazar Grüne, Lars. author. Pannek, Jürgen. author. (orcid)0000-0001-5109-9627 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46024-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-22T06:47:59Z

Yazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-03-22T06:47:59Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64021-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

2026-03-22T06:47:59Z

Yazar Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40229-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-03-22T06:47:59Z

Yazar Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34171-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-22T06:47:59Z

Yazar Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49665-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-03-22T06:47:59Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27683-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-22T06:47:59Z

Yazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49630-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2026-03-22T06:47:59Z

Yazar Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46823-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Asset rotation : the demise of modern portfolio theory and the birth of an investment renaissance

2026-03-22T06:47:59Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Why is there philosophy of mathematics at all?

2026-03-22T06:47:59Z

Yazar Hacking, Ian, author.
Yer Numarası QA8.4 H29 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software engineering mathematics

2026-03-22T06:47:59Z

Yazar Woodcock, Janet, author. Taylor and Francis.
Yer Numarası QA76.758 .W661989
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Small and short-range radar systems

2026-03-22T06:47:59Z

Yazar Charvat, Gregory L., author.
Yer Numarası TK6575 .C4746 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Introduction to mathematical proofs

2026-03-22T06:47:59Z

Yazar Roberts, Charles, author. Taylor and Francis.
Yer Numarası QA9.54
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of Mathematical Induction : Theory and Applications

2026-03-22T06:47:59Z

Yazar Gunderson, David S., author.
Yer Numarası QA9.54 G863 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

The nuts and bolts of proofs an introduction to mathematical proofs

2026-03-22T06:47:59Z

Yazar Cupillari, Antonella. ScienceDirect (Online service)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A realist theory of art history

2026-03-22T06:47:59Z

Yazar Verstegen, Ian.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The nuts and bolts of proofs : an introduction to mathematical proofs

2026-03-22T06:47:59Z

Yazar Cupillari, Antonella.
Yer Numarası QA9.54 C86 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Spaces of PL manifolds and categories of simple maps

2026-03-22T06:47:59Z

Yazar Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.
Yer Numarası ONLINE
Elektronik Erişim http://www.jstor.org/stable/10.2307/j.ctt24hqsv
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Limits of computation : an introduction to the undecidable and the intractable

2026-03-22T06:47:59Z

Yazar Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.
Yer Numarası QA267.7 .R445 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Nonlinear optimal control theory

2026-03-22T06:47:59Z

Yazar Berkovitz, Leonard David, 1924, author. Medhin, Negash G.
Yer Numarası QA402.35 .B47 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Frege's notations what they are and how they mean

2026-03-22T06:47:59Z

Yazar Landini, Gregory. Palgrave Connect (Online service)
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The history of mathematical proof in ancient traditions

2026-03-22T06:47:59Z

Yazar Chemla, Karine.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Godel's way : exploits into an undecidable world

2026-03-22T06:47:59Z

Yazar Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.
Yer Numarası QA9.65 .C428 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Proof Analysis A Contribution to Hilbert's Last Problem

2026-03-22T06:47:59Z

Yazar Negri, Sara. von Plato, Jan.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete mathematics demystified a self-teaching guide

2026-03-22T06:47:59Z

Yazar Krantz, Steven G. (Steven George), 1951-
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Math proofs demystified a self-teaching guide

2026-03-22T06:47:59Z

Yazar Gibilisco, Stan.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Framework for Priority Arguments

2026-03-22T06:47:59Z

Yazar Lerman, Manuel.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explanation and proof in mathematics : philosophical and educational perspectives

2026-03-22T06:47:59Z

Yazar Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.
Yer Numarası QA9.54 E97 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logical Foundations of Proof Complexity

2026-03-22T06:47:59Z

Yazar Cook, Stephen. Nguyen, Phuong.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching and learning proof across the grades a K-16 perspective

2026-03-22T06:47:59Z

Yazar Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Food lipids : chemistry, nutrition, and biotechnology

2026-03-22T06:47:59Z

Yazar Akoh, Casimir C., 1955- Min, David B.
Yer Numarası QP751 .F647 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Lectures on the Curry-Howard isomorphism

2026-03-22T06:47:59Z

Yazar Sørensen, Morten Heine. Urzyczyn, Paweł.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theorems, corollaries, lemmas, and methods of proof

2026-03-22T06:47:59Z

Yazar Rossi, Richard J., 1956-
Yer Numarası ONLINE
Elektronik Erişim Ebook Library Click here to view book John Wiley http://dx.doi.org/10.1002/9781118031575 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tracking reason proof, consequence, and truth

2026-03-22T06:47:59Z

Yazar Azzouni, Jody.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The nuts and bolts of proofs

2026-03-22T06:47:59Z

Yazar Cupillari, Antonella.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780120885091
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum computation and quantum information

2026-03-22T06:47:59Z

Yazar Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-
Yer Numarası QA76.889 N54 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfaces

2026-03-22T06:47:59Z

Yazar Kutateladze, S.S., editor. Taylor and Francis.
Yer Numarası QA643 EB .A358413 2006
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

V.A. Fock--selected works : quantum mechanics and quantum field theory

2026-03-22T06:47:59Z

Yazar Fok, V. A. (Vladimir Aleksandrovich), 1898-1974., author. Faddeev, L. D. Khalfin, L. A. Komarov, I. V.
Yer Numarası QC173.97 .F6513 2004
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Linear Logic in Computer Science

2026-03-22T06:47:59Z

Yazar Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning to reason an introduction to logic, sets and relations

2026-03-22T06:47:59Z

Yazar Rodgers, Nancy, 1941-
Yer Numarası ONLINE
Elektronik Erişim Wiley InterScience An electronic book accessible through the World Wide Web; click for information Ebook Library Click here to view book Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html ebrary http://site.ebrary.com/id/10500922 http://site.ebrary.com/lib/alltitles/Doc?id=10500922
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra of proofs

2026-03-22T06:47:59Z

Yazar Szabo, M. E.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic in algebraic form Three languages and theories

2026-03-22T06:47:59Z

Yazar Craig, William, 1918-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1