Adam Grabowski

• AI Aspects in Reasoning, Languages, and Computation
• Computer reconstruction of the body of mathematics