Extending Horn clause logic with implication goals

Laura Giordano, Alberto Martelli, Gianfranco Rossi

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Fingerprint

Entra nei temi di ricerca di 'Extending Horn clause logic with implication goals'. Insieme formano una fingerprint unica.

Keyphrases

Computer Science