| Typ des Eintrags: |
Konferenzveröffentlichung
|
| Erschienen: |
1998 |
| Herausgeber: |
De Swart, Harrie |
| Autor(en): |
Schmitt, Stephan ; Kreitz, Christoph |
| Art des Eintrags: |
Bibliographie |
| Titel: |
Deleting redundancy in proof reconstruction |
| Sprache: |
Englisch |
| Publikationsjahr: |
1998 |
| Ort: |
Berlin |
| Verlag: |
Springer |
| Buchtitel: |
Automated reasoning with analytic tableaux and related methods |
| Reihe: |
Lecture notes in computer science |
| Band einer Reihe: |
1397 |
| Veranstaltungstitel: |
International Conference TABLEAUX '98 |
| Veranstaltungsort: |
Oisterwijk, Netherlands |
| Veranstaltungsdatum: |
05.05.1998-08.05.1998 |
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik |
| Hinterlegungsdatum: |
19 Nov 2008 16:04 |
| Letzte Änderung: |
09 Jan 2025 11:50 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum