Canonical Equational Proofs: Progress in Theoretical Computer Science by Bachmai
74,16 €
Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving.
Jetzt bei Ebay:
![Produktbild - People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010 [Paperback]](https://i.ebayimg.com/thumbs/images/g/6QoAAOSwRJ9m2TXb/s-l140.jpg)
