Publication:3888566
From MaRDI portal
zbMath0444.68081MaRDI QIDQ3888566
Publication date: 1979
68Q65: Abstract data types; algebraic specification
68T99: Artificial intelligence
94A17: Measures of information, entropy
03B99: General logic