Complexity Results and Practical Algorithms for Logics in Knowledge ...
Stephan Tobies
Taxonomy Matching Using Background Knowledge: Linked Data, Semantic ...
Heiko Angermann & Naeem Ramzan
Philosophy for Everyone
Matthew Chrisman & Duncan Pritchard & Guy Fletcher & Elinor Mason & Jane Suilin Lavelle & Michela Massimi & Alasdair Richmond & Dave Ward
Combinators: A Centennial View
Stephen Wolfram
Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills
Paul J. Nahin
White Mars - Or, The Mind Set Free A 21st-Century Utopia
Brian Aldiss & Roger Penrose