Real theorem provers deserve real user-interfaces
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Théry, Laurent; Bertot, Yves; Kahn, Gilles
- 卷第17卷
- 期第5期
- 印刷ISSN0163-5948
- 文件大小1045.46KB
- 发表时间1992-11-01
- DOI10.1145/142882.143760
- 页码120-129
Do knowledge-intensive business services innovate differently?Cainelli, Giulio; De Marchi, Valentina; Grandinetti, Roberto · Economics of Innovation and New Technology · 2019
List of contributorsAdamo, Giuliana; Allum, Felia; Allum, Percy; Caputo, Francesca; Chinellato, Lucrezia; Corner, Paul; De Marchi, Pietro; Gordon, Robert; La Penna, Daniela; Lepschy, Giulio; Marenco, Franco; Mozzato, Cinzia; Pellegrini, Ernestina; Peters, Laura; Robinson, Peter; Scott, John; Sulis, Gigliola; Tosi, Arturo · The Italianist · 2012
Effects of interplanetary dust on the LISA drag-free constellationMassimo Cerdonio; Fabrizio De Marchi; Roberto De Pietri; Philippe Jetzer; Francesco Marzari; Giulio Mazzolo; Antonello Ortolan; Mauro Sereno · 2010
Mineral composition of cow milk from multibreed herdsManuelian, Carmen L.; Penasa, Mauro; Visentin, Giulio; Zidi, Ali; Cassandro, Martino; De Marchi, Massimo · Animal Science Journal · 2018
980-nm Diode Laser Treatment for Recurrent Urethral StricturesGuazzieri, Stefano; Bertoldin, Roberto; D’Incà, Giulio; De Marchi, Giuliano; Mazzariol, Chiara; Galetti-Prayer, Tommaso; Cecchetti, W. · European Urology · 2001
Phenotypic variation of milk fatty acid composition of Pinzgauer cattle breedManuelian, Carmen Loreto; Visentin, Giulio; Penasa, Mauro; Cassandro, Martino; De Marchi, Massimo · Italian Journal of Animal Science · 2018
Radiology for Laparoscopic Adjustable Gastric Banding: a Simplified Follow-up Examination MethodFabio Pomerri; Francesco De Marchi; Giulio Barbiero; Antonio Di Maggio; Cristina Zavarella · 2003