CS-2008-01, Fabrizio Riguzzi, "The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions"

creato da RIGUZZI FABRIZIO — ultima modifica 14/09/2008 16:59

cs-2008-01.pdf — PDF document, 219Kb

Azioni sul documento