zbMath1118.68664MaRDI QIDQ5309492
M. Frenţju, D.Tătar
Publication date: 9 October 2007
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation