Higher-Order Algebra, Logic, and Term Rewriting: Second International ...
Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller
Permutations Made Easy by H. J. Fourie
H. J. Fourie & Mr H J Fourie Esq
Adam's Calendar: Discovering the Oldest Man-Made Structure on ...
Michael Tellinger & Johan Heine
In Defense of Kant's Religion
Chris L. Firestone & Nathan Jacobs
Augmented Reality and Virtual Reality: Empowering Human, Place ...
Timothy Jung & M. Claudia Tom Dieck
The Trial
Franz Kafka