Schmitt, Stephan ; Kreitz,
:
Deleting redundancy in proof reconstruction.
In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods <1998, Oisterwijk, The Netherlands>: Proceedings. Hrsg.: H. de Swart. - Berlin (u.a.): Springer, 1998. S. 262-276
, 1397
.
Springer
, Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1998)
| Typ des Eintrags: | Konferenz- oder Workshop-Beitrag (Keine Angabe) |
|---|---|
| Erschienen: | 1998 |
| Autor(en): | Schmitt, Stephan ; Kreitz, |
| Titel: | Deleting redundancy in proof reconstruction |
| Sprache: | Deutsch |
| Reihe: | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods <1998, Oisterwijk, The Netherlands>: Proceedings. Hrsg.: H. de Swart. - Berlin (u.a.): Springer, 1998. S. 262-276 |
| Band: | 1397 |
| Ort: | Berlin (u.a.) |
| Verlag: | Springer |
| Fachbereich(e)/-gebiet(e): | Fachbereich Informatik |
| Hinterlegungsdatum: | 19 Nov 2008 16:04 |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum