Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
1996 |
Autor(en): |
Egly, Uwe |
Art des Eintrags: |
Bibliographie |
Titel: |
On the practical value of different definitional translations to normal form |
Sprache: |
Englisch |
Publikationsjahr: |
1996 |
Ort: |
Berlin (u.a.) |
Verlag: |
Springer |
Reihe: |
International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 403-417 |
Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik |
Hinterlegungsdatum: |
19 Nov 2008 16:22 |
Letzte Änderung: |
26 Aug 2018 21:22 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |