Search results for: Mauro Ferrari
Springer Handbook of Nanotechnology > Nanostructures, Micro/Nanofabrication, and Micro/Nanodevices > 279-322
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Synthesis > 245-265
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 115-129
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Synthesis > 1-17
Lecture Notes in Computer Science > Web Reasoning and Rule Systems > Poster/Position Papers > 223-226
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 48-64
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Software Engineering > 169-184
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 294-301
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 175-189
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 160-174
Fundamental Biomedical Technologies > Intracellular Delivery > Mechanisms of Uptake and Targeting > 3-55
Springer Handbook of Nanotechnology > Nanostructures, Micro/Nanofabrication, and Micro/Nanodevices > 279-322