Publication:4199571
From MaRDI portal
zbMath0412.68084MaRDI QIDQ4199571
Publication date: 1979
68T05: Learning and adaptive systems in artificial intelligence
03B10: Classical first-order logic
03F99: Proof theory and constructive mathematics
Related Items