Mechanizing Mathematical Reasoning

DOI10.1007/B106663zbMATH Open1098.03025OpenAlexW2484955858MaRDI QIDQ5717438

Manfred Schmidt-Schauß

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106663

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Title not available (Why is that?) ⋮ Variants and satisfiability in the infinitary unification wonderland

This page was built for publication: Mechanizing Mathematical Reasoning

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