scientific article

zbMATH Open0706.68082MaRDI QIDQ3486874

Vincenzo Cutello

Publication date: 1988

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

zbMATH Keywords

OTTERdemodulationweightingfactoringterm orderingsubsumptionhyperresolutionUR-resolutionCanswer literalsbinary paramodulationinference rules binary resolution

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05)

Related Items (2)

Automated reasoning about elementary point-set topology ⋮ Automatic Construction and Verification of Isotopy Invariants

Uses Software

• Title not available (Why is that?)

Recommendations

• A topology for automata. II 👍 👎
• Automated reasoning about elementary point-set topology 👍 👎
• Automated Reasoning About Metric and Topology 👍 👎
• Some applications of Gentzen's proof theory in automated deduction 👍 👎
• A System for Computing and Reasoning in Algebraic Topology 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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