Sökt på: Böcker från förlaget college publications
totalt 470 träffar
Domain-Specific Languages of Mathematics
The main idea behind this book is to encourage readers to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved …
The Handbook of Deontic Logic and Normative Systems, Volume 2
Handbook of Deontic Logic and Normative Systems
Learn Prolog Now!
Prolog is a programming language, but a rather unusual one. Prolog'' is short for Programming with Logic'', and the link with logic gives Prolog its special character. At the …
Basic Vehicle Dynamics and Suspension Design
This textbook combines methodologies of vehicle dynamics with modeling, analysis, and optimization of suspension systems, power train, and aerodynamics. Chapter topics provide the …
Historia Logicae and its Modern Interpretation
This book marks the inauguration of the Historia Logicae book series, which seeks to publish high-quality monographs, dissertations, textbooks, proceedings, and anthologies on the …
Knowledge in Flux
A Journey Through the Systems Landscape
Finance as Warfare
Model Theory for Beginners. 15 Lectures
A Lambda Calculus Satellite
In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads …
Argument, Sex and Logic
This book is intended for the formal argumentation community and for the sex offender therapist community.Both communities use logic.The message of this book is that the …