Skip to content

A Decidable First-Order Logic for Medical Reasoning.

Norihiro Kamide

VenueBKES
Year2011
ProceedingsKES (2)

Browse the full KES paper archive.