Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Myth and Philosophy From the Presocratics to Plato
Kathryn A. Morgan
Data Analysis using the Method of Least Squares: Extracting ...
John Wolberg
Practical Philosophy
Immanuel Kant
A Cooperative and Self-adaptive Metaheuristic for the Facility ...
David Meignan & Jean-Charles Créput & Abderrafiaa Koukam
Decrypted Secrets: Methods and Maxims of Cryptology
Friedrich L. Bauer