Vitalsource Technologies, Inc. Linking Game-theoretical Approaches With Constructive Type Theory

General

Brand
Springer International Publishing

Characteristics

Menu