Sökt på: Sökresultat
totalt 4 träffar
Introduction to Kant's Aesthetics
In An Introduction to Kant s Aesthetics, Christian Wenzel discusses and demystifies Kant's Critique of the Power of Judgment, guiding the reader each step of the way and placing …
Theorem Proving in Higher Order Logics
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. …
An Introduction to Kant's Aesthetics
In An Introduction to Kant’s Aesthetics, Christian Wenzel discusses and demystifies Kant's Critique of the Power of Judgment, guiding the reader each step of the way and placing …
Theorem Proving in Higher Order Logics
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. …