TY  - BOOK
A2  - Gian Luca Pozzato.
AU  - Pozzato, Gian Luca.
NV  - VIII, 200 s. :
PY  - 2010
SN  - 9781607500957
SN  - 9781607500940 (print)
TI  - Conditional and preferential logics : proof methods and theorem proving /
VL  - vol. 208
ER  -