Login / Signup
An artificial immune system approach to automated program verification: Towards a theory of undecidability in biological computing.
Soumya Banerjee
Published in:
PeerJ Prepr. (2017)
Keyphrases
</>
semi automated
theoretical framework
fully automated
data sets
learning algorithm
information theory
biological data
data mining
machine learning
database systems
description logics
computer aided
theoretical foundation
biological systems
artificial immune system
probabilistic planning