Set Unification

Technical Report TR-CS-001/2001, Department of Computer Science, New Mexico State University, USA

Set Unification / Dovier, A; Pontelli, E; Rossi, Gianfranco. - (2001).

Technical Report TR-CS-001/2001, Department of Computer Science, New Mexico State University, USA

	Anno
	
			2001
		
	Citazione
	
			Set Unification / Dovier, A; Pontelli, E; Rossi, Gianfranco. - (2001).
		
	Appare nelle tipologie:
	
			7.12 Altro

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/11381/2285866