The Tableau Browser SNARKS.

Mathias Kettner Norbert Eisinger

Published in: CADE (1997)

Keyphrases

objective function
description logics
web browser
user interface
web applications
web pages
automated theorem proving
neural network
e learning
case study
natural language
web navigation