An improved proof procedure

Feb-1-1960–Classics

Theoria, 26, 102–139.

proof procedure, stockholm, university

Feb-1-1960

Classics Web Page

Country:
- Europe > Sweden > Stockholm > Stockholm (0.31)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.40)