Filtres
€
-€
-
Disponible 108 titres
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel
Zeiteinteilung (Maximen) I und II / Time Management (Maxims) I and II / Kurt Gödel: Philosophische Notizbücher / Philosophical Notebooks Band 2
Kurt Gödel