scientific article; zbMATH DE number 4116014

MaRDI QIDQ4730807zbMATH OpenFDO

Authors É. Kh. Tyugu

Publication date 1989

zbMATH Keywords

Logic programmingprogram synthesispropositional calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited in

(4)

• Some results and experiments in programming techniques for propositional logic
• scientific article; zbMATH DE number 3848602 (Why is no real title available?)
• scientific article; zbMATH DE number 3954262 (Why is no real title available?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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 Q4730807)