Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Towards structurally-free theorem proving (1998)