scientific article

Publication date: 14 January 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (28)

Computing and the cultures of proving ⋮ Panelist position statement: logic and models in computer science ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Computer assisted reasoning. A Festschrift for Michael J. C. Gordon ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ Critical sets for Sudoku and general graph colorings ⋮ Checking Proofs ⋮ The Parallel Structure of Mathematical Reasoning ⋮ Enabling mathematical cultures: introduction ⋮ When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science ⋮ Recent progress towards Hadwiger's conjecture ⋮ On a generalization of ``eight blocks to madness puzzle ⋮ Using formal methods with SysML in aerospace design and engineering ⋮ Automated theorem provers: a practical tool for the working mathematician? ⋮ Can strategizing in round-robin subtournaments be avoided? ⋮ History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting) ⋮ Integrating searching and authoring in Mizar ⋮ An independence relation for sets of secrets ⋮ Why do informal proofs conform to formal norms? ⋮ Mathematics and argumentation ⋮ Logic of secrets in collaboration networks ⋮ Assembling a prehistory for formal methods: a personal view ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2 ⋮ An Independence Relation for Sets of Secrets ⋮ Mechanized metatheory revisited ⋮ Operating system verification---an overview ⋮ The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian ⋮ Proof Auditing Formalised Mathematics

This page was built for publication: