The Astronaut's Wife
Robert Tine
Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
The Text Mining Handbook: Advanced Approaches in Analyzing Unstructured ...
Ronen Feldman & James Sanger
Going Mainstream: How Extremists Are Taking Over
Julia Ebner
The Sermon on the Mount and Human Flourishing: A Theological ...
Jonathan T. Pennington
Knowledge representation for agents and multi-agent systems ...
John-Jules Meyer & Jan M. Broersen
Lecture notes in artificial intelligence (5605)