Search Results for Carnielli, Walter.

4 Results Found

0000DEFAULT

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}