Portada

Temporal Type Theory

SPRINGER
02 / 2019
9783030007034
978-30-3000-703-4
Inglés
Progress in Computer Science and Applied Logic
Ingles