Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Nocentini, Massimo"'
Autor:
Maggesi, Marco, Nocentini, Massimo
We present an experimental system strongly inspired by miniKanren, implemented on top of the tactics mechanism of the HOL~Light theorem prover. Our tool is at the same time a mechanism for enabling the logic programming style for reasoning and comput
Externí odkaz:
http://arxiv.org/abs/2007.04691
Autor:
Merlini, Donatella, Nocentini, Massimo
Publikováno v:
In Linear Algebra and Its Applications 15 March 2019 565:177-207
Publikováno v:
In Atmospheric Environment September 2017 165:349-358
Publikováno v:
In Bioresource Technology January 2013 128:479-486
Autor:
Frascari, Dario, Cappelletti, Martina, Fedi, Stefano, Verboschi, Angelo, Ciavarelli, Roberta, Nocentini, Massimo, Pinelli, Davide
Publikováno v:
In Process Biochemistry November 2012 47(11):1656-1664
Autor:
Frascari, Dario, Cappelletti, Martina, Fedi, Stefano, Zannoni, Davide, Nocentini, Massimo, Pinelli, Davide
Publikováno v:
In Biochemical Engineering Journal 2010 52(1):55-64
Autor:
Frascari, Dario, Pinelli, Davide, Nocentini, Massimo, Baleani, Emilia, Cappelletti, Martina, Fedi, Stefano
Publikováno v:
In Biochemical Engineering Journal 2008 42(2):139-147
Publikováno v:
In Process Biochemistry 2007 42(8):1218-1228
Autor:
Frascari, Dario, Pinelli, Davide, Nocentini, Massimo, Zannoni, Arianna, Fedi, Stefano, Baleani, Emilia, Zannoni, Davide, Farneti, Angiolo, Battistelli, Alfredo
Publikováno v:
In Journal of Hazardous Materials 2006 138(1):29-39