Strategies of the search for derivation of statements with restricted quantifiers
From MaRDI portal
Publication:3675553
DOI10.1007/BF01072145zbMath0562.68069MaRDI QIDQ3675553
K. P. Vershinin, Marina K. Morokhovets
Publication date: 1983
Published in: Cybernetics (Search for Journal in Brave)
03B35: Mechanization of proofs and logical operations
Related Items
Cites Work