Conditional and Preferential Logics: Proof Methods and Theorem Proving

POZZATO, GIAN LUCA
2010-01-01

2010
IOS Press
208
1
208
9781607500940
http://www.iospress.nl/loadtop/load.php?isbn=9781607500940
Conditional Logics; Preferential Logic; Theorem Proving; Proof methods; goal-directed proof methods; Nonmonotonic Reasoning; automated reasoning
G.L. Pozzato
File in questo prodotto:
File Dimensione Formato  
1.pdf

Accesso riservato

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 5.33 MB
Formato Adobe PDF
5.33 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/71943
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 3
social impact