Travelled to:1 × Australia
1 × Italy
Collaborated with:D.A.Wolfram C.Benzmüller L.Cheikhrouhou D.Fehrer A.Fiedler X.Huang M.Kerber M.Kohlhase A.Meier E.Melis W.Schaarschmidt J.H.Siekmann V.Sorge
Talks about:mathemat (1) descript (1) generat (1) toward (1) system (1) assist (1) order (1) omega (1) model (1) logic (1)
Person: Karsten Konrad
DBLP: Konrad:Karsten
Contributed to:
19991997Wrote 2 papers:
- CADE-1999-KonradW #first-order #generative #logic
- System Description: Kimba, A Model Generator for Many-Valued First-Order Logics (KK, DAW), pp. 282–286.
- CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
- Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.