Gerd Neu­ge­bauer and Uwe Petermann. Spe­ci­fi­ca­tion of In­fe­ren­ce Rules and Their Au­to­ma­tic Trans­la­tion. In Peter Baumgartner, Reiner Hähnle, and Joachim Posegga, edi­tors, Theo­rem Pro­ving with Ana­ly­ti­cal Ta­bleaux and Re­la­ted Me­thods, num­ber 918 in LNAI, pa­ges 185–200. Springer, Sep­tem­ber 1995.

Dr.
Gerd
Neu­ge­bauer
Gerd Neugebauer
Gerd Neu­ge­bauer
→ Pub­li­ca­ti­o­ns
→ Spe­ci­fi­ca­tion of In­fe­ren­ce Rules and Their Au­to­ma­tic Trans­la­tion

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