Semantica is the manual for a new software application thatallows the user to explore the semantic structure of language in anengaging, interactive way. The program, which was produced as part ofa Nat
This work integrates a twenty-year research program on the nature of high-level vision and mental imagery. It marshals insights and empirical results from computer vision, neuroscience, and cognitive
This introductory program for self-instruction covers the entire spectrum of organic chemistry ranging from chemical bonds and equilibria to hydrocarbons and synthetic polymers. It offers the user t
What really happens when a program runs? "Essentials of Programming Languages" teaches the fundamental concepts of programming languages through numerous short programs, or "interpreters" that actuall
What really happens when a program runs? "Essentials of Programming Languages" teaches the fundamental concepts of programming languages through numerous short programs, or "interpreters" that actuall
Made-Up Minds addresses fundamental questions of learning and concept invention by means of an innovative computer program that is based on the cognitive-developmental theory of psychologist Jean Piag
The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that p
After brief attention to theory, Kostis presents exercises, practice drills, and his four-step program for developing an effective golf swing that increases clubhead speed and enables the ball to gain
