Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantia

This book offers a detailed defense of a metaphysics of Platonic universals and a conception of particular objects that is coherent with said metaphysics. The w

Instantiation is a collection of 11 stories by the Hugo award winning author Greg Egan: “The Discrete Charm of the Turing Machine” “Zero For Conduct” �

This book contains the refereed proceedings of the 12th International Conference on Business Process Modeling, Development and Support (BPMDS 2011) and the 16th

This book is based on the results of research in language typology, and motivated by the need for a theory to explain them. The essence of the approach is (a) t