Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference

✍ Scribed by Nik Swoboda; Gerard Allwein

• Publisher: Springer-Verlag
• Year: 2004
• Tongue: English
• Weight: 574 KB
• Volume: 3
• Category: Article
• ISSN: 1619-1366
• DOI: 10.1007/s10270-003-0044-8