Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Logical Approaches to Computational Barriers: Second Conference on Computability

Ø 0.0
0 Bewertungen
125,35 €

Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. - From Constructibility and Absoluteness to Computability and Domain Independence. - Datatype-Generic Reasoning. - The Logical Strength of the Uniform Continuity Theorem.

Jetzt bei Ebay: