Search Results for Proof theory.

1.

A Proof Theory for Description Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Hybrid Logic and its Proof-Theory

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Proof Theory for Fuzzy Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Proof Theory The First Step into Impredicativity

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Factors and Factorizations of Graphs Proof Techniques in Factor Theory

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Algorithms for Constructing Computably Enumerable Sets

Yazar

Supowit, Kenneth J. author. SpringerLink (Online service)

Yer Numarası

XX(520324.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26904-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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ı

XX(521127.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43264-4

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

Yazar

Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)

Yer Numarası

XX(521139.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43513-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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ı

XX(521191.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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ı

XX(521295.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-33163-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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ı

XX(519146.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46823-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}