Search Results for Proof theory.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

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ç

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.

25.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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:

28.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11