SAT Techniques for Modal and Description Logics

Sebastiani, Roberto; Tacchella, Armando

doi:10.3233/978-1-58603-929-5-781

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;Tacchella, Armando

2009-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2009
			
	Titolo del libro (Book title)
	
				Handbook of Satisfiability
			
	Luogo di edizione (Place of publication)
	
				Amsterdam
			
	Casa editrice (Publisher)
	
				IOS Press
			
	ISBN
	
				9781586039295
978-1-60750-376-7
			
	Tutti gli autori
	
						Sebastiani, Roberto; Tacchella, Armando
					
	Citazione
	
				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]
			
	Appare nelle tipologie:
	
				02.1 Saggio su volume miscellaneo o Capitolo di libro (Essay or Book Chapter)

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 Visualizza/Apri	560.38 kB	Adobe PDF	Visualizza/Apri