Walter A. Carnielli

No bio available. Add one in Open Library.

Books by Walter A. Carnielli (50 max)

+ shelf+ list

Model-based reasoning in science and technology abduction, logic, and computational discovery

2010

Lorenzo Magnani, Walter A. Carnielli, Claudio Pizzi

+ shelf+ list

Computability: computable functions, logic, and the foundations of mathematics

1989

Richard L. Epstein, Walter A. Carnielli

+ shelf+ list

Multi-valued Logics (Journal of Applied Non-classical Logics)

2000

Walter A. Carnielli

+ shelf+ list

Modalità e multimodalità

2001

Walter A. Carnielli

+ shelf+ list

Modalities and multimodalities

2008

Walter A. Carnielli

+ shelf+ list

Analysis and synthesis of logics: how to cut and paste reasoning systems

2008

Walter A. Carnielli