Enzyme-Logic Digital Biosensors for Biomedical Applications.

Vladimir Privman Nataliia Guz Evgeny Katz

Published in: Int. J. Unconv. Comput. (2017)

Keyphrases

logic programming
classical logic
modal logic
logic programs
amino acids
computational properties
digital images
digital media
automated reasoning
epistemic logic