scientific article; zbMATH DE number 871438

zbMATH Open0859.68092MaRDI QIDQ4874800FDOQ4874800

Authors: Petar Hotomski 

Publication date: 18 July 1996

Title of this publication is not available (Why is that?)

Recommendations

• Thirty years of G-stability
• 90 years of the Lindeberg method
• scientific article; zbMATH DE number 4037813
• scientific article
• scientific article
• scientific article; zbMATH DE number 3871320
• An analogical approach of resolution
• scientific article; zbMATH DE number 4047178
• An algorithmic approach to resolutions
• 30 years of Calderón's problem

zbMATH Keywords

extensionsresolution methodPrologstrategiestechniquesprogram systemsrestrictive forms

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of computer science (68-03) History of mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35)

This page was built for publication:

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