KIT | KIT-Bibliothek | Impressum

Visual reasoning

Allwein, Gerard; Posegga, Joachim; Schmitt, Peter H.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 230296
Erscheinungsvermerk In: Technical report. Workshop at CADE 13, 13th International Conference on Automated Deduction, Rutgers Univ., New Brunswick, NJ 1996.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page