Login / Signup
The Hydra Battle Revisited.
Nachum Dershowitz
Georg Moser
Published in:
Rewriting, Computation and Proof (2007)
Keyphrases
</>
damage assessment
data model
case based reasoning