scientific article; zbMATH DE number 4028866

MaRDI QIDQ3769942zbMATH OpenFDO

Authors John Shepherdson

Publication date 1988

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)

Recommendations

• Introduction to logic programming
• scientific article; zbMATH DE number 4016168
• scientific article; zbMATH DE number 49478
• scientific article; zbMATH DE number 708499
• scientific article; zbMATH DE number 3913653

Cited in

(5)

• Intensional logic in context
• scientific article; zbMATH DE number 3874576 (Why is no real title available?)
• scientific article; zbMATH DE number 559187 (Why is no real title available?)
• scientific article; zbMATH DE number 851596 (Why is no real title available?)
• scientific article; zbMATH DE number 4187082 (Why is no real title available?)

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