Formalizing Undefinedness Arising in Calculus.

William M. Farmer

Published in: IJCAR (2004)

Keyphrases

information retrieval
artificial intelligence
social networks
similarity measure
digital libraries
special case
automated deduction
computer algebra
timed automata