ELF THEOREM
PROVER
Studenta: NECREALA NICOLETA-MARIA Calculatoare, Grupa 3233, An 3 Universitatea Tehnica, Cluj-Napoca
Limbajul ELF
Sintaxa si Semantica
Instalare si Utilizare
Exemple
Fisiere utile si dificultati miha
Propuneri pentru dezvoltari ulteriare
Bibliografie