Automating Leibniz's Theory of Concepts.

Autor:	Alama, Jesse, Oppenheimer, Paul E., Zalta, Edward N.
Zdroj:	Automated Deduction - CADE-25; 2015, p73-97, 25p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu