DUNCHEV, TSVETAN CHAVDAROV

DUNCHEV, TSVETAN CHAVDAROV  

ARAG - AREA FINANZA E PARTECIPATE  

Collaboratori  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
ELPI: Fast, embeddable, λprolog interpreter Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico 2015-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Embedded Lambda Prolog Interpreter (ELPI) Tsvetan Chavdarov, Dunchev; Claudio Sacerdoti Coen; Enrico Tassi 2015-01-01 - - 7.04 Software -
Implementing HOL in an higher order logic programming language Dunchev, Tsvetan; Sacerdoti Coen, Claudio; Tassi, Enrico 2016-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -