| Typ des Eintrags: |
Konferenzveröffentlichung
|
| Erschienen: |
1996 |
| Herausgeber: |
Calmet, Jaques |
| Autor(en): |
Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Schmitt, S. |
| Art des Eintrags: |
Bibliographie |
| Titel: |
Problem-oriented applications of automated theorem proving |
| Sprache: |
Englisch |
| Publikationsjahr: |
1996 |
| Ort: |
Berlin |
| Verlag: |
Springer |
| Buchtitel: |
Design and implementation of symbolic computation systems |
| Reihe: |
Lecture notes in computer science |
| Band einer Reihe: |
1128 |
| Veranstaltungstitel: |
4. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '96) |
| Veranstaltungsort: |
Karlsruhe, Germany |
| Veranstaltungsdatum: |
18.09.1996-20.09.1996 |
| Zugehörige Links: |
|
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik |
| Hinterlegungsdatum: |
19 Nov 2008 16:25 |
| Letzte Änderung: |
09 Jan 2025 09:15 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum