Deduction and Presentation in rho Log.

Mircea Marin Florina Piroi

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

multimedia
inference rules
theorem proving
real time
extended abstract
multimedia presentations
neural network
machine learning
image processing
bayesian networks
multiresolution
theorem prover
voronoi diagram
automated theorem proving
automated deduction