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” �

Richard Gaskin presents a work in the philosophy of language. He analyses what is distinctive about sentences and the propositions they express—what marks the

This is a volume on the concepts, theories, models and social consequences of creativity. It contains articles by well-known cognitive scientists, economists, m