Pozzato, Gian Luca

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Conditional and preferential logics : proof methodsand theorem proving by: Pozzato, Gian Luca (Language materials, printed)

Subjects