<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-07-15 13:56:05Mathematical logic Logic in computer science International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Academia Digital media Grants Automated reasoning Method of analytic tableaux Model elimination Theoretical computer science Automated theorem proving Applied mathematics |
|
Call for Papers and Tutorials TABLEAUX 2005 International Conference TABLEAUX 2005