skip to main content
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

A specification of an abstract Prolog machine and its application to partial evaluation

Komorowski, Henryk Jan

Linköping, Sweden: Linköping University, Software Systems Research Center 1981

Sem texto completo

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.