The following pages link to (Q3154457):
Displayed 17 items.
- Critical sets for Sudoku and general graph colorings (Q393178) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Can strategizing in round-robin subtournaments be avoided? (Q483532) (← links)
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Logic of secrets in collaboration networks (Q716496) (← links)
- On a generalization of ``eight blocks to madness'' puzzle (Q906490) (← links)
- An independence relation for sets of secrets (Q965899) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← links)
- Mathematics and argumentation (Q2271083) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Checking Proofs (Q2950035) (← links)
- The Parallel Structure of Mathematical Reasoning (Q2950044) (← links)
- An Independence Relation for Sets of Secrets (Q3638291) (← links)
- Computing and the cultures of proving (Q5301848) (← links)
- Panelist position statement: logic and models in computer science (Q5301854) (← links)