Reply to comment

System description: The tableaux workbench

Title	System description: The tableaux workbench
Publication Type	Conference Proceedings
Year of Conference	2003
Authors	Abate P, Gore R
Conference Name	TABLEAUX
Series Title	Lecture notes in artificial intelligence
Conference Start Date	2003
Publisher	springer
URL	papers-download/tableaux03.ps

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.