scientific article
From MaRDI portal
Publication:3327746
zbMath0541.68067MaRDI QIDQ3327746
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Annotations in formal specifications and proofs ⋮ Proof by analogy in mural ⋮ Purposive discovery of operators ⋮ Uniform and non uniform strategies for tableaux calculi for modal logics ⋮ Using tactics to reformulate formulae for resolution theorem proving ⋮ Geometric construction by assembling solved subfigures ⋮ It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair ⋮ Semantical analysis of the logic of bunched implications ⋮ Abstract argumentation systems ⋮ Specifying rewrite strategies for interactive exercises ⋮ A logic-based model of intention formation and action for multi-agent subcontracting ⋮ An automatic proof of Gödel's incompleteness theorem ⋮ A theory of abstraction ⋮ The natural algorithmic approach of mixed trigonometric-polynomial problems ⋮ The interval representation problem ⋮ The search efficiency of theorem proving strategies ⋮ Syntactical treatments of propositional attitudes ⋮ The structure-mapping engine: Algorithm and examples ⋮ Proof-search in type-theoretic languages: An introduction ⋮ Computer-aided heuristic analysis of fluid models ⋮ Gentzen-type systems, resolution and tableaux
This page was built for publication:
