Matrices, connections, matings and reasoning: The connection method
Matrices, connections, matings and reasoning: The connection method. Fred Freitas Centro de Informática, UFPE, Brazil KR & KM Group, Universität Mannheim, Germany Seminar presented at the KI Colloquium, Mannheim, in Jan.22.2010. Summary. Matrices and Normal Forms in ATP Proofs in Matrices
1.05k views • 90 slides