zbMath0850.03037MaRDI QIDQ4849250
D.Tătar, Mihaiela Lupea
Publication date: 10 January 1996
Mathematics Subject Classification ID
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence