TY  - GEN
AU  - Pozzato, Gian Luca.
CN  - QA76.9.A96
CY  - Amsterdam :
DA  - c2010.
ID  - 476039
KW  - Proof theory.
KW  - Automatic theorem proving.
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10375715
PB  - IOS Press,
PP  - Amsterdam :
PY  - c2010.
T1  - Conditional and preferential logicsproof methods and theorem proving /
TI  - Conditional and preferential logicsproof methods and theorem proving /
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10375715
ER  -