Search Results for Computer science.

1.

Belief Revision in Non-Classical Logics

Yazar

Ribeiro, Márcio Moretto. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330925.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4186-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Yazar

Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89653-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Yazar

Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Paraconsistency: Logic and Applications

Yazar

Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335759.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-4438-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

6.

Reactive Kripke Semantics

Yazar

Gabbay, Dov M. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335100.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41389-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Yazar

Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335941.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-5301-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Yazar

Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.2991/978-94-91216-59-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Kreativität und Form Programm eines Glasperlenspiels zum Experimentieren mit Wissen

Yazar

Zimmermann, Rainer E. author. Wiedemann, Simon M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27521-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Truth and Falsehood An Inquiry into Generalized Logical Values

Yazar

Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logic : the laws of truth

Yazar

Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-

Yer Numarası

ONLINE

Elektronik Erişim

http://www.jstor.org/stable/10.2307/j.ctt7sr96

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Knowledge in Formation A Computational Theory of Interpretation

Yazar

Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Conditionals and Modularity in General Logics

Yazar

Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19068-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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:

16.

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:

17.

Probabilistic Logics and Probabilistic Networks

Yazar

Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0008-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Dynamic Formal Epistemology

Yazar

Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0074-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Proof, Computation and Agency Logic at the Crossroads

Yazar

van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Interpreted Languages and Compositionality

Yazar

Kracht, Marcus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-2108-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Working with Preferences: Less Is More Less Is More

Yazar

Kaci, Souhila. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-17280-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Logical Tools for Handling Change in Agent-Based Systems

Yazar

Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-04407-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Cognitive Reasoning A Formal Approach

Yazar

Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68875-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Natural Deduction, Hybrid Systems and Modal Logics

Yazar

Indrzejczak, Andrzej. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-8785-0

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.

Neural-Symbolic Cognitive Reasoning

Yazar

d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73246-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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:

28.

Degrees of Belief

Yazar

Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9198-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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:

30.

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:

31.

Information and Knowledge A Constructive Type-theoretical Approach

Yazar

Primiero, Giuseppe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6170-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

Yazar

Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Ernst Zermelo An Approach to His Life and Work

Yazar

Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-49553-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Dynamic Epistemic Logic

Yazar

Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Handbook of Philosophical Logic

Yazar

Gabbay, D.M. Guenthner, F. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Artificial General Intelligence

Yazar

Goertzel, Ben. editor. Pennachin, Cassio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68677-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Formal Ontology and Conceptual Realism

Yazar

Cocchiarella, Nino B. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Rigid Flexibility The Logic of Intelligence

Yazar

Wang, Pei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-5045-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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:

40.

Uncertainty, Rationality, and Agency

Yazar

Hoek, Wiebe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Logic, Thought and Action

Yazar

Vanderveken, Daniel. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

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:

43.

Information, Interaction and Agency

Yazar

Hoek, Wiebe. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}