Weak Chop Inverses and Liveness in Mean-Value Calculus.

Paritosh K. Pandya

Published in: FTRTFT (1996)

Keyphrases

sufficient conditions
hidden markov models
automated theorem proving
automated deduction
information systems
web services
formal language
natural deduction
computer algebra