Publication:4133177
From MaRDI portal
zbMath0357.68105MaRDI QIDQ4133177
Publication date: 1977
03B45: Modal logic (including the logic of norms)
68T10: Pattern recognition, speech recognition
68P20: Information storage and retrieval of data