Handbook of Practical Logic and Automated Reasoning

Nonfiction, Computers, Advanced Computing, Engineering, Computer Architecture, Programming, Programming Languages, General Computing
Big bigCover of Handbook of Practical Logic and Automated Reasoning

More books from Cambridge University Press

bigCover of the book Saul Kripke by
bigCover of the book An Introduction to Swaminarayan Hinduism by
bigCover of the book A New Plantation World by
bigCover of the book Expanding the Horizon of Electroacoustic Music Analysis by
bigCover of the book Slavery's Metropolis by
bigCover of the book Writing and Power in the Roman World by
bigCover of the book Torsors, Étale Homotopy and Applications to Rational Points by
bigCover of the book Finding Pathways by
bigCover of the book Biotic Evolution and Environmental Change in Southeast Asia by
bigCover of the book Resurrecting Democracy by
bigCover of the book The International Law of Disaster Relief by
bigCover of the book Reporting Research by
bigCover of the book Water Histories and Spatial Archaeology by
bigCover of the book Culture in Economics by
bigCover of the book The Cambridge Companion to Voltaire by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy