Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
The Limits to Growth
Donella H. Meadows & Jørgen Randers & Dennis L. Meadows & William W. Behrens III
Natural Language Processing with Python: Analyzing Text with ...
Steven Bird & Edward Loper & Ewan Klein
An Introduction to Kolmogorov Complexity and Its Applications
Ming Li & Paul Vitanyi
Natural Language Processing and Computational Linguistics: A ...
Bhargav Srinivasa-Desikan
Leviticus, Volume 4
Dr. John Hartley & Bruce M. Metzger & David Allen Hubbard & Glenn W. Barker & John D. W. Watts & James W. Watts & Ralph P. Martin & Lynn Allan Losie
Word Biblical Commentary (1)