Characterizing and computing stable models of logic programs: the non-stratified case

http://sites.google.com/site/citconference/

http://sites.google.com/site/citconference/

	Anno del prodotto
	
				1999
			
	Codice ISBN
	
				0000000000
			
	Appare nelle tipologie:
	
				14.d.3 Contributi in extenso in Atti di convegno

File in questo prodotto:

Non ci sono file associati a questo prodotto.

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/11570/1597957

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo