KIT | KIT-Bibliothek | Impressum

Rprop - description and implementation details. [Elektronisch gespeichert]

Riedmiller, Martin



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 23394
Erscheinungsvermerk Karlsruhe 1994. (Technical report. Institut für Logik, Komplexität und Deduktionssysteme.)
Bemerkung zur Veröffentlichung Sonderdrucknummer 94S145
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page