Search results for: F. Martín
Advances in Biochemical Engineering > Molecular Biotechnology of Fungal beta-Lactam Antibiotics and Related Peptide Synthetases > 91-109
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 269-284
Lecture Notes in Control and Information Sciences > Mathematical Theory of Networks and Systems > 437-440