A Dovier

Parallel Logic Programming: A Sequel
Fondamenti dell’informatica. Linguaggi formali, calcolabilità e complessità
Exploring Life: Answer Set Programming in Bioinformatics
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
Set Unification

Published with Wowchemy — the free, open source website builder that empowers creators.