Opening book details…
Can I read Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28) on EtoBox?
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28) by Peter Padawitz is a nonfiction available to read on EtoBox.
What is Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28) about?
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
Who reads Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Peter Padawitz
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 1992
- Language
- EN
- ISBN
- 9780521032513
- Category
- nonfiction
- Subjects
- Computer Science, Language Learning, Programming
More by Peter Padawitz
Browse all works by Peter Padawitz
Similar books
- Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2) — Lawrence C. Paulson (1987)
- Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) — Troelstra, A. S. (Anne Sjerp); Schwichtenberg, Helmut, 1942- (1996)
- Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 41) — J.-J. Ch. Meyer; John-Jules Ch Meyer; W. van der Hoek (1995)
- The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21) — D. A. Wolfram (1993)
- Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35) — L M G Feijs; H B M Jonkers; Cambridge University Press (1992)
- Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19) — Manzano, María. (2005)
