Logic, Algebra, and Computation: International Summer School by Friedrich L. Bau
124,24 €
Theory of Computation and Specification over Abstract Data Types, and its Applications. - Notes on Resolution. -calcul pur. - Computability — Logical and Recursive Complexity. - Reflecting the Open-Ended Computation System of Constructive Type Theory.
Jetzt bei Ebay: