Handling Inconsistencies in the Early Calculus.

Jesse Heyninck Peter Verdée Albrecht Heeffer

Published in: J. Philos. Log. (2018)

Keyphrases

knowledge base
real time
image processing
algebraic structure
three dimensional
image sequences
natural language
multiresolution
automated deduction