Wyniki wyszukiwania
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 762-776
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Papers > 521-532