Machine de Krivine

concept

ordinateur virtuel pour évaluer des fonctions

Propriétés