This work is licensed under a Creative Commons Attribution-Share Alike 2.0 France License.
| 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 |
Recent comments
1 min 50 sec ago
1 hour 27 min ago
13 hours 54 min ago
1 day 20 hours ago
1 day 21 hours ago
3 weeks 4 days ago
23 weeks 6 days ago
1 year 24 weeks ago
1 year 28 weeks ago
1 year 41 weeks ago