Wyniki wyszukiwania dla: Inmaculada P. Guzmán
Lecture Notes in Computer Science > Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 > Theoretical and Logical Methods > 602-611
Lecture Notes in Computer Science > Advances in Artificial Intelligence — IBERAMIA 2002 > Knowledge Representation and Reasoning > 141-150
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 352-367
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 688-702