👤

Christoph Schwarzweller

2 books

Books by Christoph Schwarzweller

AI Aspects in Reasoning, Languages, and Computation
AI Aspects in Reasoning, Languages, and Computation
2020
Mizar verification of generic
Mizar verification of generic algebraic algorithms
1997