Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Our Posthuman Future: Consequences of the Biotechnology Revolution
Francis Fukuyama
Algorithms on Trees and Graphs
Gabriel Valiente
Texts in Computer Science (1)
The Philosophy of Social Ecology: Essays on Dialectical Naturalism
Murray Bookchin
Advances in Data Science: Methodologies and Applications
Gloria Phillips-Wren & Anna Esposito & Lakhmi C. Jain
Intelligent Systems Reference Library (189)
The Mathematica® Book
Stephen Wolfram