Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an
211,54 €
One Interactive Theorem Proving. Structured Specifications and Interactive Proofs with KIV. Interactive and automated proof construction in type theory. - Two Representation and Optimization Techniques.
Jetzt bei Ebay:
![Produktbild - Leonhardi Euleri Institutionum calculi integralis Volume 1 by Eu [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/dHYAAeSwUidoXoT9/s-l140.jpg)
![Produktbild - Leonhardi Euleri Institutionum calculi integralis Volume 1 by Le [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/XuAAAeSwoH5oXpdP/s-l140.jpg)
![Produktbild - Leonhardi Euleri Institutionum calculi integralis volumen primum [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/8ZIAAeSwOohoXoVF/s-l140.jpg)
