1 |
lcfLEY DE COORDINACIÓN FISCAL... Ver definición
|
2 |
lcfLCF es un Demostración automática de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros.LCF introdujo el lenguaje de programación ML [..]
|
<< jica | lgeepa >> |