TY - RPRT TI - Panelist position statement: logic and models in computer science. AU - Ursula Martin PY - 2005 DO - 10.1098/rsta.2005.1654 UR - https://pubmed.ncbi.nlm.nih.gov/16188614/ ID - 16188614 ER -