Adam Naumowicz

20 papers and 240 indexed citations i.

Adam Naumowicz has authored 20 papers that have received a total of 240 indexed citations. This includes 12 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 5 papers in Theoretical Computer Science. The topics of these papers are Logic, programming, and type systems (12 papers), History and Theory of Mathematics (5 papers) and Logic, Reasoning, and Knowledge (4 papers). Adam Naumowicz is often cited by papers focused on Logic, programming, and type systems (12 papers), History and Theory of Mathematics (5 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in Poland, Japan and United States. Adam Naumowicz's co-authors include Artur Korniłowicz, Adam Grabowski, Yasunari Shidama, Krystyna Kuperberg and Grzegorz Bancerek and has published in prestigious journals such as Journal of Automated Reasoning, International Journal of Computer Mathematics and Journal of Applied Logic.