Search Results for MATHEMATICS / Logic

1.

Mathematics of Fuzzy Sets and Fuzzy Logic

Yazar

Bede, Barnabas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333950.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35221-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44561-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Yazar

Cellucci, Carlo. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336157.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-6091-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Yazar

Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-36874-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Logic in Computer Science

Yazar

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-9816-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-82703-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-82700-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Yazar

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Maths For Computing A Beginner's Guide

Yazar

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-69234-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50521-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50524-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

On Sets and Graphs Perspectives on Logic and Combinatorics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54069-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-43669-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51653-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Yazar

Skrzypczak, Michał. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-52947-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42282-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Turing Computability Theory and Applications

Yazar

Soare, Robert I. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-31933-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

The Argument of Mathematics

Yazar

Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(336263.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-6534-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Dual Tableaux: Foundations, Methodology, Case Studies

Yazar

Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0005-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Apartness and Uniformity A Constructive Development

Yazar

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22415-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

Yazar

Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9084-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Games: Unifying Logic, Language, and Philosophy

Yazar

Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9374-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Yazar

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Institution-independent Model Theory

Yazar

Diaconescu, Răzvan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-7643-8708-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Modern Formal Methods and Applications

Yazar

Gabbar, Hossam A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4223-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

A Modern Perspective on Type Theory From its Origins until Today

Yazar

Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-2335-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}