Search Results for Carnielli, Walter.

4 sonuç bulundu

0000DEFAULT_TR

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:

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:

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

Yazar

Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Paraconsistency the logical way to the inconsistent : proceedings of the world congress held in Sô Paulo

Yazar

World Congress on Paraconsistency (2nd : 2000 : Sô Paulo, Brazil) Carnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo E., 1963- D'Ottaviano, Itala M. L., 1944-

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}