Author

Christoph Schwarzweller

2 books found

Cover of AI Aspects in Reasoning, Languages, and Computation

AI Aspects in Reasoning, Languages, and Computation

Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller · First published 2020

Placeholder cover for Mizar verification of generic algebraic algorithms

Mizar verification of generic algebraic algorithms

Christoph Schwarzweller · First published 1997