| Typ des Eintrags: |
Konferenzveröffentlichung
|
| Erschienen: |
1996 |
| Herausgeber: |
Mc Robbie, M. |
| Autor(en): |
Schmitt, Stephan ; Kreitz, Christoph |
| Art des Eintrags: |
Bibliographie |
| Titel: |
On converting non-classical matrix proofs into sequent -style systems |
| Sprache: |
Deutsch |
| Publikationsjahr: |
1996 |
| Ort: |
Berlin |
| Verlag: |
Springer |
| Buchtitel: |
Automated deduction : CADE-13 |
| Reihe: |
Lecture notes in computer science |
| Band einer Reihe: |
1104 |
| Veranstaltungstitel: |
13th International Conference on Automated Deduction (CADE-13) |
| Veranstaltungsort: |
New Brunswick, NJ, USA |
| Veranstaltungsdatum: |
30.07.1996-03.08.1996 |
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik |
| Hinterlegungsdatum: |
19 Nov 2008 16:23 |
| Letzte Änderung: |
09 Jan 2025 12:56 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum