KIT | KIT-Bibliothek | Impressum

First-order Shannon graphs

Posegga, Joachim



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Deutsch
Identifikator KITopen ID: 324392
Erscheinungsvermerk In: Proceedings. Workshop W3 on Automated Deduction / International Conference on Fifth Generation Computer Systems, Tokyo, Japan 1992.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page