Interactive realizations of logical formulas

DOI10.20537/VM160204zbMath1396.03084OpenAlexW2489543925MaRDI QIDQ5266477

Anatoly Petrivich Beltiukov

Publication date: 6 June 2017

Published in: Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/vuu529

zbMATH Keywords

logical formulasrealizationunderstandingcounteraction

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Interactive realizations of logical formulas