scientific article
From MaRDI portal
Publication:3086707
zbMath1227.03019MaRDI QIDQ3086707
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof searchadaptive logicsgoal-directed proof proceduremethodological reasoningproof-heuristic reasoningpropositional classical logic
Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)
This page was built for publication:
