Search Results for Proof theory.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

SpringerLink (Online service)

(43)

Cupillari, Antonella.

(3)

Finkbeiner, Bernd. editor.

(3)

Kovács, Laura. editor.

(3)

Taylor and Francis.

(3)

Baldimtsi, Foteini. editor.

(2)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Cachin, Christian. editor.

(2)

Girard, Jean-Yves.

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

(2)

Schmidt, Renate A. editor.

(2)

von Plato, Jan.

(2)

Aher, Martin. editor.

(1)

Akiyama, Jin. author.

(1)

Akoh, Casimir C., 1955-

(1)

Artemov, Sergei. editor.

(1)

Aubrey, Jason A., 1975- author.

(1)

(1)

Berkovitz, Leonard David, 1924, author.

(1)

Bimbo, Katalin, 1963, author.

(1)

Blanton, Maria L.

(1)

Bonacina, Ilario. author.

(1)

Braüner, Torben. author.

(1)

Buss, Samuel R.

(1)

Cao, Bin, editor.

(1)

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706

(1)

Chaitin, Gregory J., author.

(1)

Charvat, Gregory L., author.

(1)

Chatzikyriakidis, Stergios, author.

(1)

Chemla, Karine.

(1)

Chuang, Isaac L., 1968-

(1)

Coello, Carlos Coello. editor.

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

(1)

(1)

Costa, Newton C. A. da.

(1)

Craig, William, 1918-

(1)

Creissac Campos, Jose. editor.

(1)

DeBonis, Mark J.

(1)

Della Vedova, Gianluca. editor.

(1)

Doria, Francisco Antonio.

(1)

Downey, Rod. author.

(1)

Draganov, Alexandr, author.

(1)

Dundua, Besik. editor.

(1)

Ehrhard, Thomas.

(1)

Erickson, Matthew P.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

(1)

Fok, V. A. (Vladimir Aleksandrovich), 1898-1974., author.

(1)

Gabbay, Dov. author.

(1)

Gaspar-Cunha, António. editor.

(1)

Gibilisco, Stan.

(1)

Glässer, Uwe. editor.

(1)

Goldreich, Oded. editor. (orcid)0000-0002-4329-135X

(1)

Grüne, Lars. author.

(1)

Gunderson, David S., author.

(1)

Hacking, Ian, author.

(1)

(1)

Henggeler Antunes, Carlos. editor.

(1)

Hole, Daniel. editor.

(1)

Imran, Muhammad Ali, editor.

(1)

Jacobs, Bart. editor.

(1)

Jahnke, H. N. (Hans Niels), 1948-

(1)

Jahren, Bjørn, 1945-

(1)

Jeřábek, Emil. editor.

(1)

Johnson, Clayton Matthew.

(1)

Kahle, Reinhard. author. (orcid)0000-0002-9064-877X

(1)

Kano, Mikio. author.

(1)

(1)

(1)

Kirkwood, James R., author.

(1)

Kirtland, Joseph (Mathematics professor), author.

(1)

(1)

Kohlenbach, Ulrich. author.

(1)

(1)

Krantz, Steven G. (Steven George), 1951-

(1)

Krebbers, Robbert. editor.

(1)

Kukush, Alexander.

(1)

Kulikov, Alexander S. editor.

(1)

Kupke, Clemens. editor.

(1)

Kutateladze, S.S., editor.

(1)

Landini, Gregory.

(1)

Lempp, Steffen. editor.

(1)

Lerman, Manuel.

(1)

Lindell, Yehuda. editor.

(1)

Luo, Zhaohui, author.

(1)

Löding, Christof. editor.

(1)

Madden, Daniel J., 1948- author.

(1)

Mainzer, Klaus. author.

(1)

Malvone, Vadim. editor.

(1)

Manea, Florin. editor. (orcid)

(1)

Medhin, Negash G.

(1)

Metcalfe, George. author.

(1)

Meyer, Bertrand. editor.

(1)

(1)

Morazán, Marco T. author.

(1)

Murano, Aniello. editor.

(1)

Murawski, Andrzej S. editor.

(1)

Myhill, John, 1923-1987.

(1)

Méry, Dominique. editor.

(1)

National Council of Teachers of Mathematics.

(1)

Nerode, Anil. editor.

(1)

Nguyen, Phuong.

(1)

Nielsen, Michael A. 1974-

(1)

O'Regan, Gerard. author.

(1)

Olivetti, Nicola. author.

(1)

Olivetti, Nicola. editor.

(1)

Omodeo, Eugenio G. author.

(1)

Palanque, Philippe. editor. (orcid)

(1)

Palgrave Connect (Online service)

(1)

Pannek, Jürgen. author. (orcid)0000-0001-5109-9627

(1)

Peng, Mugen, editor.

(1)

Pitts, Andrew. editor. (orcid)

(1)

Pohlers, Wolfram. author.

(1)

Policriti, Alberto. author.

(1)

(1)

Rademaker, Alexandre. author.

(1)

Ramanayake, Revantha. editor.

(1)

(1)

Reiter, Edna E. (Edna Elizabeth), author.

(1)

Roberts, Charles, author.

(1)

Robeva, Raina S., author.

(1)

Rodgers, Nancy, 1941-

(1)

(1)

Rossi, Richard J., 1956-

(1)

(1)

ScienceDirect (Online service)

(1)

(1)

Serpieri, Roberto. author.

(1)

Stevens, Perdita. editor.

(1)

Stylianou, Despina A.

(1)

Supowit, Kenneth J. author.

(1)

Syropoulos, Apostolos, author.

(1)

(1)

Sørensen, Morten Heine.

(1)

(1)

Takeuti, Gaisi, 1926-

(1)

Tiwari, Ashish. editor.

(1)

Tomescu, Alexandru I. author.

(1)

Travascio, Francesco. author.

(1)

Urban, Josef. editor.

(1)

Urzyczyn, Paweł.

(1)

Verstegen, Ian.

(1)

Vesley, Richard Eugene, 1932-

(1)

Voronkov, Andrei. editor.

(1)

Waldhausen, Friedhelm, 1938-

(1)

Weil, Pascal. editor.

(1)

Wiedijk, Freek. editor.

(1)

Woeginger, Gerhard J. editor.

(1)

Woodcock, Janet, author.

(1)

Wąsowski, Andrzej. editor.

(1)

Xia, Qi, author.

(1)

Xu, Jin. author.

(1)

Yao, Fulai. author.

(1)

Yao, Yaming. author.

(1)

Zhang, Lei, editor.

(1)

Tümünü genişlet

Dil

(94)

Yayın Yılı

-

(17)

(10)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

(27)

Computer science.

(21)

Formal Languages and Automata Theory.

(12)

Logic, Symbolic and mathematical.

(12)

Machine theory.

(12)

Software engineering.

(12)

Computer Science Logic and Foundations of Programming.

(10)

Theory of Computation.

(10)

Computer science -- Mathematics.

(8)

Computer networks .

(7)

(6)

Artificial intelligence.

(5)

Computer Communication Networks.

(5)

Proof theory -- Textbooks.

(5)

(4)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Computational complexity.

(4)

Electronic books.

(4)

Application software.

(3)

Computer Modelling.

(3)

Computer and Information Systems Applications.

(3)

Computer simulation.

(3)

Control Structures and Microprogramming.

(3)

Discrete mathematics.

(3)

Mathematics -- Philosophy.

(3)

Mathematics of Computing.

(3)

Microprogramming .

(3)

(2)

Blockchains (Databases)

(2)

Chaînes de blocs.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Control and Systems Theory.

(2)

Control engineering.

(2)

(2)

(2)

Data and Information Security.

(2)

Data encryption (Computer science).

(2)

Data protection.

(2)

Discrete Mathematics in Computer Science.

(2)

(2)

Logic, Symbolic and mathematical -- Textbooks.

(2)

(2)

MATHEMATICS / Logic

(2)

MATHEMATICS / Set Theory.

(2)

Mathematical Applications in Computer Science.

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

(2)

(2)

Algebra, Boolean.

(1)

Algebraic logic.

(1)

Applications of Mathematics.

(1)

Art -- Historiography.

(1)

Art -- Philosophy.

(1)

Artificial intelligence -- Data processing.

(1)

Asset allocation.

(1)

Automotive engineering.

(1)

(1)

Categories (Mathematics)

(1)

Characterization and Analytical Technique.

(1)

Chemistry, Technical.

(1)

(1)

(1)

Combinatory logic.

(1)

Complex Systems.

(1)

Computability and Recursion Theory.

(1)

Computable functions.

(1)

Computational Geometry.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational intelligence.

(1)

Computer programming.

(1)

Computer programs -- Testing.

(1)

(1)

Control theory.

(1)

Convex surfaces.

(1)

Cryptographie à clé publique.

(1)

Curry-Howard isomorphism.

(1)

Curves on surfaces.

(1)

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Design and Analysis of Algorithms.

(1)

Discrete Mathematics

(1)

Discrete Mathematics.

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Espace de Hilbert.

(1)

Frege, Gottlob, 1848-1925.

(1)

Functional analysis.

(1)

Functions of real variables

(1)

Functions of real variables -- Textbooks.

(1)

Fuzzy mathematics

(1)

Fuzzy mathematics.

(1)

Gaussian measures

(1)

Gaussian measures.

(1)

Geometry, Differential.

(1)

(1)

Godel's theorem.

(1)

Hardware Performance and Reliability.

(1)

(1)

(1)

Industrial Chemistry.

(1)

Information theory.

(1)

Informatique sémantique.

(1)

Investment analysis.

(1)

Lambda calculus.

(1)

Lipids -- Biotechnology.

(1)

Lipids -- Metabolism.

(1)

Lipids in human nutrition.

(1)

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Study and teaching.

(1)

(1)

Logistic Models.

(1)

MATHEMATICS -- General.

(1)

MATHEMATICS / Algebra / Abstract

(1)

MATHEMATICS / Discrete Mathematics

(1)

MATHEMATICS / Functional Analysis.

(1)

MATHEMATICS / General.

(1)

MATHEMATICS / Logic.

(1)

MATHEMATICS / Mathematical Analysis

(1)

MATHEMATICS / Probability & Statistics / General

(1)

MATHEMATICS / Set Theory

(1)

MATHEMATICS / Trigonometry

(1)

Mappings (Mathematics)

(1)

Matematik -- Felsefe.

(1)

Materials -- Analysis.

(1)

Mathematical Computing.

(1)

Mathematical analysis

(1)

Mathematical analysis -- Foundations -- Textbooks.

(1)

Mathematical analysis -- Study and teaching.

(1)

Mathematical analysis -- Textbooks.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical notation.

(1)

Mathematical optimization.

(1)

Mathematics & Statistics

(1)

Mathematics & Statistics.

(1)

Mathematics -- Data processing.

(1)

Mathematics, Ancient.

(1)

Mathematische Logik.

(1)

Mathématiques floues.

(1)

(1)

Mechanics, Applied.

(1)

Mesures gaussiennes.

(1)

Nonlinear control theory.

(1)

(1)

(1)

Numbers, Real -- Textbooks.

(1)

Numerical analysis.

(1)

Operator theory.

(1)

(1)

Philosophy (General).

(1)

(1)

Piecewise linear topology.

(1)

(1)

Portfolio management.

(1)

Priority (Philosophy)

(1)

Problem solving -- Study and teaching.

(1)

Programming Language.

(1)

Programming Techniques.

(1)

Programming languages (Electronic computers).

(1)

(1)

Proof theory -- Study and teaching.

(1)

Public key cryptography

(1)

Public key cryptography.

(1)

Quantum computers.

(1)

Quantum field theory.

(1)

Quantum theory.

(1)

(1)

Recursion theory.

(1)

Semantic computing

(1)

Semantic computing.

(1)

(1)

(1)

Software Testing.

(1)

Software engineering -- Mathematics.

(1)

Solid Mechanics.

(1)

(1)

Systems Theory, Control.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- General.

(1)

TECHNOLOGY & ENGINEERING.

(1)

THEORIE EQUATIONNELLE.

(1)

(1)

Transmission sans fil.

(1)

(1)

Wireless communication systems

(1)

Wireless communication systems.

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

(1)

İspat kuramı.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

94 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 8

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

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 için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

The French School of Programming için kapak resmi

The French School of Programming

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34518-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II için kapak resmi

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

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

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:

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

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.

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 için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Efficient Energy-Saving Control and Optimization for Multi-Unit Systems A Guide for Electrical Engineers için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Taking the "oof!" out of proofs için kapak resmi

Taking the "oof!" out of proofs

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:

8.

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

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:

9.

Algorithms for Constructing Computably Enumerable Sets için kapak resmi

Algorithms for Constructing Computably Enumerable Sets

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:

10.

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

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:

11.

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

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:

12.

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

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 8

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11