KIT | KIT-Bibliothek | Impressum

An obvious solution for a non-obvious problem

Walther, Christoph



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 255689
Erscheinungsvermerk Newsletter of the automated reasoning (AAR) 1988 No. 9.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page