Blättern nach Person

Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache

Anzahl der Einträge: 1.

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (2001)
Ordered Resolution vs. Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Sat Apr 20 03:15:32 2024 CEST generiert.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Exportieren als	Atom RSS 1.0 RSS 2.0