Higher-Order Algebra, Logic, and Term Rewriting: Second International ...
Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller
Philosophy of Geometry From Riemann to Poincaré
Roberto Torretti
The Other Wes Moore: One Name, Two Fates
Wes Moore
Advances in Natural Language Processing: 5th International Conference, ...
Tapio Pahikkala & Tapio Salakoski & Filip Ginter & Sampo Pyysalo
Lecture Notes in Computer Science (4139)
Second Treatise of Government
John Locke & Crawford Brough Macpherson
A Mechanical Translation of the Book of Genesis: The Hebrew ...
Jeff A. Benner
Mechanical Translation of the Torah (1)