Search results for: Adam Grabowski
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session II: Authoring > 49-64
Advances in Intelligent and Soft Computing > Monitoring, Security, and Rescue Techniques in Multiagent Systems > Foundations and Methods > 215-226
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 300-314
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 235-249
Lecture Notes in Computer Science > Rough Sets and Current Trends in Computing > Rough Approximations: Foundations and Methodologies > 307-316
Lecture Notes in Computer Science > Rough Sets and Intelligent Systems Paradigms > Foundations of Rough Sets > 152-161