Proving Theorems with Athena
Year: 2005
Type: article
Authors: David R. Musser, Aytekin Vargun
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Awards: G1351411233, G1414073275, Functional analysis of microRNAs on cellular dedifferentiation during tissue regeneration in the zebrafish model, G1596301531, G1908127586, Zebrafish genome editing through CRISPR/Cas9 for generation of translational model of tissue regeneration, G4999703581, G805707950
OpenAlex ID: W34547148