A Logic and computer algebra approach to a decision-making problem in medicine

作者： Luis M. Laita , Víctor Maojo , Eugenio Roanes Lozano , A. Díaz

DOI:

关键词: Mathematics 、 Symbolic computation 、 Algorithm 、 Theoretical computer science