-Calculus Caught Off Guard.

Oliver Friedmann Martin Lange

Published in: TABLEAUX (2011)

Keyphrases

automated deduction
real world
information retrieval
decision making
metadata
formal language