Gerd Neu­ge­bauer. From Horn Clau­ses to First Or­der Lo­gic: A Grace­ful Ascent. Bericht AIDA-92-21, FG Intellektik, Technische Hochschule Darm­stadt, Oc­to­ber 1992.

Dr.
Gerd
Neu­ge­bauer
Gerd Neugebauer
Gerd Neu­ge­bauer
→ Pub­li­ca­ti­o­ns
→ From Horn Clau­ses to First Or­der Lo­gic: A Grace­ful Ascent

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