Gerd Neu­ge­bauer. Lemma Usage in Connection Method Theorem Proving. Be­richt AIDA-91-08, FG In­tel­lek­tik, Tech­ni­sche Hoch­schu­le Darm­stadt, 1991.

Dr.
Gerd
Neu­ge­bauer
Gerd Neugebauer
Gerd Neu­ge­bauer
→ Ver­öf­fent­lich­ungen
→ Lemma Usage in Connection Method Theorem Proving

Start ♦ Über­sicht ♦ Im­pres­sum

Pri­va­tes
Hier gibt es In­for­ma­ti­o­nen zu mei­nem Wohn­ort und mei­nem Le­bens­lauf. Der Rest ist... pri­vat.
Soft­ware
Hier gibt es ei­ni­ge Soft­ware, die so im Lau­fe der Zeit bei mir ent­stan­den ist und die ich als Open-Source ver­öf­fent­li­che.

♦ (La)TeX ♦ Emacs ♦ TWiki ♦

Ak­ti­vi­tä­ten
Was ich sonst noch so tue oder ge­tan habe.
Pub­li­ka­ti­o­nen
Ich habe so das eine oder an­de­re ver­öf­fent­licht. Hier ist die Lis­te zu fin­den.
Be­ruf­li­ches
Ich ar­bei­te ge­gen­wär­tig für Cap­gemini sd&m in der Nie­der­las­sung Frank­furt. Ich bin Ar­chi­tekt und IT-Be­ra­ter.
© 2010 Gerd Neu­ge­bauer