zbMath0457.68094MaRDI QIDQ3907119
Urszula Wybraniec-Skardowska
Publication date: 1981
zbMATH Keywords
first-order functional calculus
Mathematics Subject Classification ID
Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)
Related Items