TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 3.
Deutsch
Ramesh, Anavai ; Beckert, Bernhard ; Hähnle, Reiner ; Murray, Neil V. (1997)
Fast Subsumption Checks Using Anti-Links.
In: Journal of Automated Reasoning, 18 (1)
Artikel, Bibliographie
Ramesh, Anavai ; Murray, Neil V. ; Beckert, Bernhard ; Hähnle, Reiner (1995)
Fast Subsumption Checks Using Anti-Links.
Report, Bibliographie
Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
Hrsg.: Pfenning, Frank (1994)
On Anti-Links.
Konferenzveröffentlichung, Bibliographie