scientific article
From MaRDI portal
Publication:3332286
zbMath0543.68077MaRDI QIDQ3332286
Zh. S. Azimova, D. I. Sviridenko
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
regularityprovabilityproof complexityadmissibility of inference rulescomputer aided problem solvingmeasures of proof validity
Abstract data types; algebraic specification (68Q65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Intuitionistic mathematics (03F55)
This page was built for publication:
