Rprop - description and implementation details. [Elektronisch gespeichert]
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buch |
| Publikationsjahr | 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 |