A Practical Approach to Partiality - A Proof Based Approach.

Published in: ICFEM (2008)

Keyphrases

theorem proving
neural network
information retrieval
artificial intelligence
search engine
decision making
web pages
e learning