Tag: decision procedure

1 events with tag "decision procedure"

1921 ID: 393

Emil Post introduces truth tables for propositional logic, providing decision procedure for propositional calculus

ID: 393