9 books • 3 series
A Change-oriented Architecture for Mathematical Authoring Assistance (Dissertations in Artificial Intelligence, v. 333)
Die philosophischen Implikate der 'Quarta Via' (Studien zur Problemgeschichte der antiken und mittelalterlichen Philosophie, #12)