1
2
3
Assuntos:
“...Warren Abstract Machine...”
The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem
Tese
4
Assuntos:
“...Warren abstract machine...”
Wam based space efficient Prolog implementation in Lisp
Tese