SAT Techniques for Modal and Description Logics / Sebastiani, Roberto; Tacchella, Armando. - STAMPA. - 185:(2009), pp. 781-824. [10.3233/978-1-58603-929-5-781]

SAT Techniques for Modal and Description Logics

Sebastiani, Roberto;
2009-01-01

2009
Handbook of Satisfiability
Amsterdam
IOS Press
9781586039295
978-1-60750-376-7
Sebastiani, Roberto; Tacchella, Armando
SAT Techniques for Modal and Description Logics / Sebastiani, Roberto; Tacchella, Armando. - STAMPA. - 185:(2009), pp. 781-824. [10.3233/978-1-58603-929-5-781]
File in questo prodotto:
File Dimensione Formato  
p02c11_mod.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 560.38 kB
Formato Adobe PDF
560.38 kB Adobe PDF   Visualizza/Apri

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/11572/78933
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 4
social impact