Adam Naumowicz
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by C.J. Duffy are about Top fields papers by Paul-Étienne Vidal are about Top fields papers by Monika Habermann are about Top journals papers by Feng‐Zeng Li are published in Top authors papers by Mark Jones are co-authored with Top countries impacted by papers by Martha Zimmermann Top fields papers by T. Meenambal are about Top fields papers by Andrew Schwartz are about