Application of isograms in the search for inference

DOI10.1007/BF01097999MaRDI QIDQ1102128zbMATH OpenOpenAlexFDO

Authors Nail Zamov, V. I. Sharonov

Publication date 1988

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01097999

zbMATH Keywords

inferenceisograms

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Review text

Translation from Issled. Prikl. Mat. 1, 94-102 (Russian) (1973; Zbl 0352.68109).

Cites work

• scientific article; zbMATH DE number 3339443 (Why is no real title available?)
• Synthesis of the resolution method with the inverse method

This page was built for publication: Application of isograms in the search for inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102128)