Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
1997 |
Herausgeber: |
Raś, Zbigniew ; Skowron, Andrzej |
Autor(en): |
Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik |
Art des Eintrags: |
Bibliographie |
Titel: |
Completeness for Linear Regular Negation Normal Form Inference Systems |
Sprache: |
Deutsch |
Publikationsjahr: |
1997 |
Verlag: |
Springer-Verlag |
Buchtitel: |
Foundations of Intelligent Systems, 10th
International Symposium, {ISMIS}'97, Charlotte,
North Carolina, USA |
Reihe: |
LNCS |
Band einer Reihe: |
1325 |
Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik > Software Engineering 20 Fachbereich Informatik |
Hinterlegungsdatum: |
31 Dez 2016 10:40 |
Letzte Änderung: |
16 Mai 2018 12:06 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
|
Redaktionelle Details anzeigen |