Knihu momentálně nemáme skladem

Extensions of system F by iteration and primitive recursion on monotone inductive types

Autoři

Ralph Matthes

Parametry

ISBN: 9783896755780
Nakladatelství: Utz, Wiss.

Kategorie

Navrhnout úpravu

Varianta knihy

1999

Nákup knihy

Kniha aktuálně není skladem.