A contribution to the Automated Treatment of Membership Theories

E Omodeo, Franco Parlamento, Alberto Policriti
1990-01-01
Cite
Type
Conference paper
Publication
Atti del V Convegno sulla programmazione Logica- Padova 6-8.6.1990
deduzione automatica; teorie dell'appartenenza

Related