Verification of the Formal Concept Analysis
J. Borrego, M.J. Hidalgo, Jose Antonio Alonso Alonso
pág. 3
pág. 17
Satisfiability and matchings in bipartite graphs: relationship and tractability
B. Benhamou
pág. 55
pág. 65
pág. 77
Numerical Taxonomy: A Missing Link for Case-Based Reasoning and Autonomous Agents.
J.A. Campbell
pág. 85
pág. 113
pág. 127
pág. 127
pág. 153
Some Key Research Problems in Automated Theorem Proving for Hardware and Software Verification.
M. Kaufman
pág. 181
pág. 197
pág. 213
pág. 229
pág. 239
pág. 259
© 2008-2024 Fundación Dialnet · Todos los derechos reservados