scientific article; zbMATH DE number 46019

MaRDI QIDQ3996315zbMATH OpenFDO

Authors Jean-Paul Delahaye

Publication date 17 September 1992

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4053069
• Logic for computer scientists
• scientific article; zbMATH DE number 4057055
• scientific article; zbMATH DE number 51274

Cited in

(12)

• scientific article; zbMATH DE number 4174905 (Why is no real title available?)
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 4057055 (Why is no real title available?)
• scientific article; zbMATH DE number 42807 (Why is no real title available?)
• scientific article; zbMATH DE number 44484 (Why is no real title available?)
• scientific article; zbMATH DE number 51274 (Why is no real title available?)
• scientific article; zbMATH DE number 534879 (Why is no real title available?)
• scientific article; zbMATH DE number 1070884 (Why is no real title available?)
• scientific article; zbMATH DE number 194408 (Why is no real title available?)
• scientific article; zbMATH DE number 814830 (Why is no real title available?)
• scientific article; zbMATH DE number 872161 (Why is no real title available?)
• Logic for computer scientists

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