Ysabela.rar -

: Papers related to the Isabelle proof assistant and the Isar formal proof language .

: Such as research by Isabel Larre on cellular stress, Isabella Rega on social technologies, or environmental studies like Isabela Crater-Lake . Ysabela.rar

: If "Ysabela.rar" is a specific file from a course or a private repository (e.g., a "full paper" assignment), please provide the topic or author's name . : Papers related to the Isabelle proof assistant

Isabela Crater-Lake: a Mexican insular saline lake * September 1998. * Hydrobiologia 381(1):1-7. ResearchGate Isabella Rega on social technologies

Could you tell me the of the paper or where you first saw the filename? (PDF) Isabela Crater-Lake: a Mexican insular saline lake