Gerd Neu­ge­bauer. Lemma Usage in Con­nect­i­on Me­thod Theo­rem Pro­ving. Bericht AIDA-91-08, FG Intellektik, Technische Hochschule Darm­stadt, 1991.

Dr.
Gerd
Neu­ge­bauer
Gerd Neugebauer
Gerd Neu­ge­bauer
→ Pub­li­ca­ti­o­ns
→ Lemma Usage in Con­nect­i­on Me­thod Theo­rem Pro­ving

Home ♦ Sitemap ♦ Im­print

Pri­va­te
Here you can find in­for­ma­tion on my ad­dress and my CV. The rest is... pri­va­te.
Soft­ware
Here you can get some soft­ware which I have made du­ring the years. It is distribted as open source.

♦ (La)TeX ♦ Emacs ♦ TWiki ♦

Ac­ti­vi­ties
What­ever else I am do­ing or have done.
Pub­li­ca­ti­o­ns
Ich habe so das eine oder andere veröffentlicht. Hier ist die Liste zu finden.
Pro­fes­si­o­nal
I am cur­rent­ly working for Cap­gemini sd&m in the sub­si­di­ary Frank­furt, Ger­many. I am IT ar­chi­tect and IT con­sul­tant.
© 2010 Gerd Neu­ge­bauer