System description: leanK 2.0
Beckert, Bernhard
; Gore, Rajeev
; Gore, Rajeev| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1998 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 182298 |
| Erscheinungsvermerk | In: Automated deduction - CADE-15. Ed.: C. Kirchner. Berlin 1998. S. 51-55. (Lecture notes in computer science. 1421.) |