TABLEAUX 2005 position papers and tutorial descriptions ; [papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), held September 14-17, 2005 in Koblenz, Germany]
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Koblenz-Landau
Univ., Inst. für Informatik
2005
|
| Schriftenreihe: | Fachberichte Informatik / Universität Koblenz-Landau, Institut für Informatik
2005,12-2005,16 |
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| FTP 2005 : fifth international workshop on first-order theorem proving | 2005 | Letz, Reinhold |
| Probability propagation in petri nets | 2005 | Lautenbach, Kurt |
| 2. Workshop "Reengineering Prozesse" - Software Migration | 2005 | Gimnich, Rainer |
| Hybrid state machines with timed synchronization for multi-robot system specification | 2005 | Murray, Jan |