Automated Reasoning

DOI10.2307/2322633MaRDI QIDQ3723724zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 1985

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2322633

zbMATH Keywords

survey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(2)

• scientific article; zbMATH DE number 3170714 (Why is no real title available?)
• Automating Coherent Logic

Describes a project that uses

Uses Software

• VAMPIRE

This page was built for publication: Automated Reasoning

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