TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 1997
Anzahl der Einträge: 1.
1997
Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Raś, Zbigniew ; Skowron, Andrzej (1997)
Completeness for Linear Regular Negation Normal Form Inference Systems.
Konferenzveröffentlichung, Bibliographie