Death strikes from the sky: the calculus of proportionality.

Noel E. Sharkey

Published in: IEEE Technol. Soc. Mag. (2009)

Keyphrases

early detection
automated theorem proving
formal language
database
e learning
digital images
theorem prover
theorem proving
automated deduction
timed automata
white balance