Programming with Higher-Order Logic

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Programming Languages, General Computing
Big bigCover of Programming with Higher-Order Logic

More books from Cambridge University Press

bigCover of the book Contractual Knowledge by
bigCover of the book Owning Development by
bigCover of the book Crisis, Resilience and Survival by
bigCover of the book The New Cambridge Companion to T. S. Eliot by
bigCover of the book The Gacaca Courts, Post-Genocide Justice and Reconciliation in Rwanda by
bigCover of the book After the Holocaust by
bigCover of the book The Cambridge Companion to James Joyce by
bigCover of the book Intersectionality in the Human Rights Legal Framework on Violence against Women by
bigCover of the book Producing Women's Poetry, 1600–1730 by
bigCover of the book State Building in Latin America by
bigCover of the book The Islamic State in Britain by
bigCover of the book Emotional and Sectional Conflict in the Antebellum United States by
bigCover of the book Play, Learning, and Children's Development by
bigCover of the book The Metallurgy of Roman Silver Coinage by
bigCover of the book Pharmacology for Anaesthesia and Intensive Care 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