Reply to comment

The Tableau WorkBench: a framework for building automated tableau-based theorem provers

Title	The Tableau WorkBench: a framework for building automated tableau-based theorem provers
Publication Type	Thesis
Year of Publication	2007
Authors	Abate, P
University	The australian national university
City	Canberra
Thesis Type	PhD thesis
URL	papers-download/anuthesis.pdf

Subject:

Comment: *

Input format

Filtered HTML

Web page addresses and e-mail addresses turn into links automatically.
Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
Lines and paragraphs break automatically.

blog

You can use Mediawiki syntax. It is possible that not all formatting options are supported at the moment.
Links to other pages: [[Page Title]] or [[path/to/page|Title]].
External links: http://example.com or [http://example.com some link title].
Interwiki links: [[site:Page Title]].
You can use the following interwiki links: path, gdo, wp
Images are included with [[Image:name]]. (wikipedia help)
You can enable syntax highlighting of source code with the following tags: <code>, <blockcode>. The supported tag styles are: <foo>, [foo].

CAPTCHA

This question is for testing whether you are a human visitor and to prevent automated spam submissions.

Enter the code above: *

Enter the code without spaces and pay attention to upper/lower case.