Pathways of deduction

zbMATH Open1154.92003MaRDI QIDQ5384902FDOQ5384902

Authors:

Publication date: 29 April 2008

Recommendations

• Pathways of deductions
• Adding logic to the toolbox of molecular biology
• Publication:3032110
• Reshaping the metaphor of proof
• Mathematics and complex systems

zbMATH Keywords

biological systemsproof structure

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) General biology and biomathematics (92B05) Structure of proofs (03F07)

Cited In (3)

• Pathways of deductions
• The role of theorem proving in systems biology
• The life and survival of mathematical ideas

This page was built for publication: Pathways of deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5384902)