Search results for: Adam Grabowski
Fundamenta Informaticae > 2021 > Vol. 179, nr 2 > 165--182
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 9-32
Formalized Mathematics > 2017 > 25 > 3 > 241-248
Formalized Mathematics > 2017 > 25 > 2 > 93-100
Formalized Mathematics > 2017 > 25 > 1 > 39-48
Formalized Mathematics > 2017 > 25 > 1 > 49-54
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session II: Authoring > 49-64
Formalized Mathematics > 2016 > 24 > 2 > 157-166
Formalized Mathematics > 2016 > 24 > 2 > 143-155
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