生物学中的形式系统

应用正式系统对生物过程建模的资源集合。要了解该领域的一般方法，一些容易阅读的书籍可能是：

麦卡鲁奇和皮茨对生物学中神经元的研究诞生了启动人工智能、常规语言和数字计算机的关键论文。这是约翰·冯·诺伊曼(John Von Neumann)在EDVAC报告中唯一包括的论文。