Higher-Order Algebra, Logic, and Term Rewriting: Second International ...
Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller
Boolean Semantics for Natural Language
Edward L. Keenan & Andrew W Mellon Professor Of History & Director Dumbarton Oaks Research Library & Collection Edward L Keenan & L. M. Faltz
The Desert Fathers Anthony and the Beginnings of Monasticism
Michael J. Miller
A Cooperative and Self-adaptive Metaheuristic for the Facility ...
David Meignan & Jean-Charles Créput & Abderrafiaa Koukam
Concentration around a sphere for a singularly perturbed Schrodinger ...
Teresa D'Aprile & Mario Badiale
The New Complete Book of Self-Sufficiency: The Classic Guide ...
John Seymour