An Infinitary Treatment of Full Mu-Calculus.

Bahareh Afshari Gerhard Jäger Graham E. Leigh

Published in: WoLLIC (2019)

Keyphrases

databases
neural network
artificial intelligence
real patient data
database
information retrieval
genetic algorithm
multiscale
development environment
formal language
clinical diagnosis
acute myocardial infarction